diff --git a/ecrire/index.php b/ecrire/index.php index bab441c2cee0e13417ce4223f6341151ef7e3150..7ec915941d1a1eb8755ffb7db3bead09736329fd 100644 --- a/ecrire/index.php +++ b/ecrire/index.php @@ -77,9 +77,6 @@ if (!preg_match(',^[a-z][0-9a-z_]*$,i', $exec)) $exec = "accueil"; // // Authentification, redefinissable // -var_dump(-1==""); -var_dump(-1==false); -var_dump(-1==true); if (autoriser_sans_cookie($exec)) { if (!isset($reinstall)) $reinstall = 'non';