Req #77307 [NEW]: $_SERVER['REQUEST_HRTIME_FLOAT']

From: bugzilla77 at gmail dot com Operating system: * PHP version: 7.3.0 Package: Date/time related Bug Type: Feature/Change Request Bug description:$_SERVER['REQUEST_HRTIME_FLOAT'] Description: ------------ Please add to $_SERVER array: key: REQUEST_HRTIME_FLOAT value: hrtime(true) Test script: --------------- <?php // PHP 7.2 // ... page // ... code $elapsed=$_SERVER['REQUEST_TIME_FLOAT']-microtime(true); ?> <?php // PHP 7.3 // ... page // ... code $elapsed=$_SERVER['REQUEST_HRTIME_FLOAT']-hrtime(true); ?> Expected result: ---------------- $_SERVER['REQUEST_HRTIME_FLOAT'] returns hrtime(true) of script start -- Edit bug report at https://bugs.php.net/bug.php?id=77307&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=77307&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=77307&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=77307&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=77307&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=77307&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=77307&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=77307&r=needscript Try newer version: https://bugs.php.net/fix.php?id=77307&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=77307&r=support Expected behavior: https://bugs.php.net/fix.php?id=77307&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=77307&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=77307&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=77307&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=77307&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=77307&r=dst IIS Stability: https://bugs.php.net/fix.php?id=77307&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=77307&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=77307&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=77307&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=77307&r=mysqlcfg