Doc #79671 [Ver]: Documentation Editor is Down

Edit report at https://bugs.php.net/bug.php?id=79671&edit=1 ID: 79671 Updated by: salathe@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: 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. Previous Comments: ------------------------------------------------------------------------ [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