On Tue, 2013-06-25 at 08:46 +0200, Christian Stoller wrote: > Hi internals. > > What do you think about moving the PHP documentation to a Git > repository, mirrored on Github? Doing this would make it possible for > everybody to extend the documentation easily by creating pull > requests.
Basically that is good. To the best of my knowledge the issue though, is not will but time. Migrating the docs is not just converting the repo, like with PECL repos but changing the supporting infrastructure. For instance there are tools which help to identify outdated translations and the mentioned editor which all have to be adopted. If you want to help there the docs group certainly would welcome it. That aside: resources is also the issue with the online editor. We have too few people working on docs, so in the end it doesn't make much difference if they don't have time to review edit.php.net or github. (while reviewing on edit.php.net has the benefit that it can directly validate the docbook, github can't) johannes (who is one of the bad people not really actively helping with docs) -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
