Req #75243 [Com]: PHP documentation should be mirrored on GitHub and editable via pull requests
Edit report at https://bugs.php.net/bug.php?id=75243&edit=1
ID: 75243
Comment by: carusogabriel@php.net
Reported by: peterkokot at gmail dot com
Summary: PHP documentation should be mirrored on GitHub and
editable via pull requests
Status: Assigned
Type: Feature/Change Request
Package: Online Doc Editor problem
PHP Version: Irrelevant
Assigned To: heiglandreas
Block user comment: N
Private report: N
New Comment:
For the record, we had some progress. Check the https://github.com/phpdoctest organization.
Previous Comments:
------------------------------------------------------------------------
[2018-07-16 12:51:55] kalle@php.net
Andreas is working on the SVN > Git migration, I'm not sure if there is other open reports
for the matter else this could be a ticket to track progress.
------------------------------------------------------------------------
[2017-10-29 10:39:07] miika dot s dot koskela at gmail dot com
It would be easier to contribute to the docs if it were at Github. Also, something similar to Read
the Docs (https://readthedocs.org/) would be good.
Using this kind of platform for docs could also reduce maintenance burden, right?
Regards, Miika
------------------------------------------------------------------------
[2017-09-21 23:28:57] peterkokot at gmail dot com
Description:
------------
PHP documentation files should be available also on GitHub and editable via pull requests.
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=75243&edit=1
Thread (6 messages)