Req #75243 [Asn->Nab]: 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
Updated by: yannick@php.net
Reported by: peterkokot at gmail dot com
Summary: PHP documentation should be mirrored on GitHub and
editable via pull requests
-Status: Assigned
+Status: Not a bug
Type: Feature/Change Request
Package: Online Doc Editor problem
PHP Version: Irrelevant
Assigned To: heiglandreas
Block user comment: N
Private report: N
New Comment:
Sorry, but your problem does not imply a bug in PHP itself. For a
list of more appropriate places to ask for help using PHP, please
visit http://www.php.net/support.php as this bug system
is not the
appropriate forum for asking support questions. Due to the volume
of reports we can not explain in detail here why your report is not
a bug. The support channels will be able to provide an explanation
for you.
Thank you for your interest in PHP.
Previous Comments:
------------------------------------------------------------------------
[2019-05-20 11:00:05] petk@php.net
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?
------------------------------------------------------------------------
[2019-02-18 02:44:22] carusogabriel@php.net
For the record, we had some progress. Check the https://github.com/phpdoctest organization.
------------------------------------------------------------------------
[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)