phpgdb A GDB-like interface for interactive debugging of PHP pages using the XDEBUG PHP extension's DBGP features