format phpdoc