added phpdoc.dist.xml