Update phpdoc.xml.dist