PHPygmentizator phpdoc fixes