Hi Niklas 2017-01-11 23:18 GMT+01:00 Niklas Keller <m...@kelunik.com>: > Could we move documentation to Git and mirror it on Github, too? I think we > might get more PRs on GitHub than on this strange edit.php.net editor, where > probably most people edit and save, but forget to submit the actual patch.
Both yes and no. It is no easy or small task. The main reason we still stick to SVN is that the $Rev$ is used for keeping translation in sync with the EN version (The "magic" <!-- EN-Revision: <svn revision> --> tag, and all of our tools on doc.php.net is built around this, which means it needs a lot of work to make this change actually happen and a new and easy way (preferably in the same style as the current) for translators to easily syncing it. So far no one have started this movement, though we have talked about it, both on the phpdoc list and on IRC. I do not want to go in too much details here, to avoid hijacking the topic, but if you are interested in this project, then hit up the docs list or catch some of us on IRC (#php.doc @ EFNet) -- regards, Kalle Sommer Nielsen ka...@php.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
