Doc #79671 [Opn->Ver]: Documentation Editor is Down

Edit report at https://bugs.php.net/bug.php?id=79671&edit=1 ID: 79671 Updated by: cmb@php.net Reported by: programming dot ventures at gmx dot hk Summary: Documentation Editor is Down -Status: Open +Status: Verified Type: Documentation Problem Package: Systems problem PHP Version: Irrelevant Block user comment: N Private report: N 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