PHPDoc the class and don't check if it is already defined.