Php Docbook Online Editor
| From: | Unknown Sender | Date: | Thu, 01 Jan 1970 00:00:00 +0000 |
| Subject: | Php Docbook Online Editor | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387557@lists.php.net to get a copy of this message | ||
Hi there!
The documentation editor doesn't work for a long time (https://bugs.php.net/bug.php?id=79671),
Rasmus added a new box
(https://github.com/php/systems/commit/c79853fe86f9e844a39bd36b7918298a4b924c5d),
but there is no way to log in (https://github.com/php/web-doc-editor/pull/18)
Can someone with the necessary karma accept this PR?
And also what is the status of this new box: is it possible to work with the editor on the new
domain or will there be some other work?
wbr,
Sergey Panteleev