Encoding phpdoc