phpdoc comment syntax