Forgot extension to the phpdoc command