Manual:bench_wfIsWindows.php

Details

edit

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