Manual:Bench wfIsWindows.php

Details

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