debugger_off( ) inactive le debuggeur interne de PHP . Le debuggeur est toujours en cours de développement .