Add support for phpdbg