Bug #76819 [NEW]: Request for php_manual_en.json times out

From: aljosha dot papsch at vinexus dot eu Operating system: PHP version: Irrelevant Package: Website problem Bug Type: Bug Bug description:Request for php_manual_en.json times out Description: ------------ The request for http://doc.php.net/downloads/json/php_manual_en.json is timing out. I didn't find a new URL. At least php-extras[0] depends on it to show function parameters. [0] https://github.com/arnested/php-extras/issues/new Test script: --------------- curl -m 5 http://doc.php.net/downloads/json/php_manual_en.json Expected result: ---------------- The webserver should respond with the file in a reasonable time. Actual result: -------------- Request timeout. -- Edit bug report at https://bugs.php.net/bug.php?id=76819&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=76819&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=76819&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=76819&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=76819&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=76819&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=76819&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=76819&r=needscript Try newer version: https://bugs.php.net/fix.php?id=76819&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=76819&r=support Expected behavior: https://bugs.php.net/fix.php?id=76819&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=76819&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=76819&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=76819&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76819&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=76819&r=dst IIS Stability: https://bugs.php.net/fix.php?id=76819&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=76819&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=76819&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=76819&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=76819&r=mysqlcfg