|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Doc Bug #79671 Documentation Editor is Down
Submitted: 2020-06-03 15:02 UTC Modified: 2020-06-04 08:56 UTC
From: programming dot ventures at gmx dot hk Assigned:
Status: Verified Package: Systems problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
Have you experienced this issue?
Rate the importance of this bug to you:

 [2020-06-03 15:02 UTC] programming dot ventures at gmx dot hk
From manual page:

The server for is down and has been since last night:

Is anyone looking into this and is there any information on when it might be back up?

Test script:
Not Applicable

Expected result:
Access to the xml source code for the php documentation to become available again.

Actual result:


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2020-06-03 15:49 UTC]
-Package: Online Doc Editor problem +Package: Systems problem
 [2020-06-04 06:58 UTC]
-Status: Open +Status: Verified
 [2020-06-04 08:56 UTC]
We are looking into this and are considering our options for bringing the service back online.  It is unlikely that the online editor will be back in the next few days. Please bear with us, and I will update this ticket as I hear about progress.
PHP Copyright © 2001-2020 The PHP Group
All rights reserved.
Last updated: Sun Jul 05 00:01:26 2020 UTC