|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #75243 PHP documentation should be mirrored on GitHub and editable via pull requests
Submitted: 2017-09-21 23:28 UTC Modified: 2018-07-16 12:51 UTC
Avg. Score:5.0 ± 0.0
Reproduced:0 of 0 (0.0%)
From: peterkokot at gmail dot com Assigned: heiglandreas (profile)
Status: Assigned Package: Online Doc Editor problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
Have you experienced this issue?
Rate the importance of this bug to you:

 [2017-09-21 23:28 UTC] peterkokot at gmail dot com
PHP documentation files should be available also on GitHub and editable via pull requests.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2017-10-29 10:39 UTC] 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 ( would be good.

Using this kind of platform for docs could also reduce maintenance burden, right?

Regards, Miika
 [2018-07-15 23:32 UTC]
-Type: Documentation Problem +Type: Feature/Change Request -Package: Documentation problem +Package: Online Doc Editor problem
 [2018-07-16 12:51 UTC]
-Status: Open +Status: Assigned -Assigned To: +Assigned To: heiglandreas
 [2018-07-16 12:51 UTC]
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.
 [2019-02-18 02:44 UTC]
For the record, we had some progress. Check the organization.
 [2019-05-20 11:00 UTC]
Thank you so much for someone working on this. Looking forward for having the Git repo. Is there any progress here? Can't we just turn the translations to a different workflow if they really cause so much issues with this?
PHP Copyright © 2001-2019 The PHP Group
All rights reserved.
Last updated: Wed Sep 18 13:01:52 2019 UTC