Manual:Bench if switch.php/es

Detalles
bench_if_switch.php file is a maintenance script to benchmark  vs   statements.