Doc #79671 [NEW]: Documentation Editor is Down

From: programming dot ventures at gmx dot hk Operating system: PHP version: Irrelevant Package: Online Doc Editor problem Bug Type: Documentation Problem Bug description:Documentation Editor is Down 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 bug report at https://bugs.php.net/bug.php?id=79671&edit=1 -- Fix committed: https://bugs.php.net/fix.php?id=79671&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=79671&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=79671&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=79671&r=needscript Try newer version: https://bugs.php.net/fix.php?id=79671&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=79671&r=support Expected behavior: https://bugs.php.net/fix.php?id=79671&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=79671&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=79671&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=79671&r=globals PHP version support discontinued: https://bugs.php.net/fix.php?id=79671&r=phptooold Daylight Savings: https://bugs.php.net/fix.php?id=79671&r=dst IIS Stability: https://bugs.php.net/fix.php?id=79671&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=79671&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=79671&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=79671&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=79671&r=mysqlcfg