Browser extension for phpdbg