An improved PHP debugger