phpdoc; code style