Jump to content

Manual:bench_wfIsWindows.php

From mediawiki.org

Details

[edit]

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