Fixes #1450 - explanation of phpdoc.xml vs phpdoc.dist.xml

Changed the wording so that it's more clear that phpdoc.dist.xml takes precedence over phpdoc.xml

(also in the "hint" text, changed "revision control" to "version control" and moved "way" to the previous line, to get consistent line-lengths)