Doc #79671 [Com]: Documentation Editor is Down

Edit report at https://bugs.php.net/bug.php?id=79671&edit=1 ID: 79671 Comment by: sergey@php.net Reported by: programming dot ventures at gmx dot hk Summary: Documentation Editor is Down Status: Verified Type: Documentation Problem Package: Systems problem PHP Version: Irrelevant Block user comment: N Private report: N New Comment: Hi, I deployed a copy of the editor at http://194.67.87.221/. You can use it as a temporary solution until the main editor is restored. Note: There is no old database, log in via social networks does not work, but if you are a vcs user (or anonymous), there is enough functionality to track and make changes Previous Comments: ------------------------------------------------------------------------ [2020-06-04 08:56:40] salathe@php.net 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. ------------------------------------------------------------------------ [2020-06-03 15:02:22] programming dot ventures at gmx dot hk Description: ------------ --- From manual page: https://php.net/reserved.exceptions --- The server for http://edit.php.net is down and has been since last night: https://downforeveryoneorjustme.com/edit.php.net 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: -------------- https://downforeveryoneorjustme.com/edit.php.net ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=79671&edit=1