Ce code à plus ça place dans index_dev.php que dans le code de l'application.
D'ailleuurs il est déjà dans index_dev.php