Manual:Bench if switch.php/fr

Détails
Le fichier bench_if_switch_.php est un script de maintenance pour comparer les instructions  et