Manual:Bench wfIsWindows.php/es

Detalles
bench_wfIsWindows.php file is a maintenance script to benchmark   function.