phpdoc formatting