use phpdoc.dist.xml instead of phpdoc.xml

This commit is contained in:
coderkun 2015-03-06 12:20:24 +01:00
commit 2fb2844246