BugReporter::getErrorNum PHP Méthode