Doc #77477 [NEW]: New INI directive hard_timeout is under-documented

From: mfischer Operating system: - PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:New INI directive hard_timeout is under-documented Description: ------------ It's listed on http://php.net/manual/en/ini.core.php to be available since 7.1.0 but it's not described what it really does or how it works. The only other actual mention was via https://bugs.php.net/bug.php?id=74093 This seems to be the commit which introduced it: https://github.com/php/php-src/commit/650c1c0a7d94d3bb052a93407b6e280df9c265a4 Seems to be some additional timeout on top of max_execution_time ? -- Edit bug report at https://bugs.php.net/bug.php?id=77477&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=77477&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=77477&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=77477&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=77477&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=77477&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=77477&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=77477&r=needscript Try newer version: https://bugs.php.net/fix.php?id=77477&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=77477&r=support Expected behavior: https://bugs.php.net/fix.php?id=77477&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=77477&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=77477&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=77477&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=77477&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=77477&r=dst IIS Stability: https://bugs.php.net/fix.php?id=77477&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=77477&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=77477&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=77477&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=77477&r=mysqlcfg