PHP 3 Debugger GDB Handler Extensible