phpdoc embellishments