Manual:bench_wfIsWindows.php

Details edit

bench_wfIsWindows.php file is a maintenance script to benchmark wfIsWindows() function.