A simple debugger with PHP