Send a blank email to [email protected] to get a copy of this message
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.
Today one has to get an SVN account to edit the docu or you have to use https://edit.php.net/ which does not work as expected (at least for
me when I tried to update some German documentation). My changes have not been integrated for some
months (I had to write an email to somebody of the doc team to apply the changes).
Symfony does it this way (see https://github.com/symfony/symfony-docs/) and I
like it very much. It is really easy to extend/update parts of the docu which are not complete or
outdated and I am sure that it is comfortable and timesaving for the doc team, too.
What do you think?
Best regards
Christian