Doc #75243 [Com]: PHP documentation should be mirrored on GitHub and editable via pull requests

From: Date: Sun, 29 Oct 2017 10:39:21 +0000
Subject: Doc #75243 [Com]: PHP documentation should be mirrored on GitHub and editable via pull requests
References: 1  Groups: php.doc.bugs 
Request: Send a blank email to doc-bugs+get-15198@lists.php.net to get a copy of this message 
Edit report at https://bugs.php.net/bug.php?id=75243&edit=1

 ID:                 75243
 Comment by:         miika dot s dot koskela at gmail dot com
 Reported by:        peterkokot at gmail dot com
 Summary:            PHP documentation should be mirrored on GitHub and
                     editable via pull requests
 Status:             Open
 Type:               Documentation Problem
 Package:            Documentation problem
 PHP Version:        Irrelevant
 Block user comment: N
 Private report:     N

 New Comment:

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


Previous Comments:
------------------------------------------------------------------------
[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)

« previous php.doc.bugs (#15198) next »