Editing: PhpdbgNotAvailableException.php