phpdoc commenting, php filetype