Req #77307 [Opn]: $_SERVER['PHP_HRTIME_INTEGER']

Edit report at https://bugs.php.net/bug.php?id=77307&edit=1 ID: 77307 User updated by: bugzilla77 at gmail dot com Reported by: bugzilla77 at gmail dot com Summary: $_SERVER['PHP_HRTIME_INTEGER'] Status: Open Type: Feature/Change Request Package: Date/time related Operating System: * PHP Version: 7.3.0 Block user comment: N Private report: N New Comment: There are known scripts that do not use the $_SERVER array at all. Will we remove it because it overheads? Previous Comments: ------------------------------------------------------------------------ [2018-12-17 13:52:12] bugzilla77 at gmail dot com 95% of the data available in $ _SERVER are not needed in every script, but exists and overheads. ------------------------------------------------------------------------ [2018-12-17 13:43:31] spam2 at rhsoft dot net to save one line code which by far is not needed in every script additional overhead for each request - to gain what? ------------------------------------------------------------------------ [2018-12-17 12:53:48] bugzilla77 at gmail dot com REQUEST_HRTIME_INTEGER -> PHP_HRTIME_INTEGER ------------------------------------------------------------------------ [2018-12-17 12:47:47] bugzilla77 at gmail dot com What about $_SERVER['PHP_HRTIME_INTEGER'] ? You would not have to encode $start = hrtime(true); in each script. ------------------------------------------------------------------------ [2018-12-17 12:38:58] spam2 at rhsoft dot net http://php.net/manual/en/function.hrtime.php how can "hrtime — Get the system's high resolution time" be computed? https://elinux.org/High_Resolution_Timers ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at https://bugs.php.net/bug.php?id=77307 -- Edit this bug report at https://bugs.php.net/bug.php?id=77307&edit=1