Update phpdoc.dist.xml