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

Edit report at https://bugs.php.net/bug.php?id=77307&edit=1 ID: 77307 Comment by: spam2 at rhsoft dot net 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: foolish argumentation - they are SERVER vars provided by httpd anyways and they are not populated if not used thanks to http://www.php.net/manual/en/ini.core.php#ini.auto-globals-jit what is your damned problem writing one line of code in the one out of thousand scripts you need it? Previous Comments: ------------------------------------------------------------------------ [2018-12-17 13:56:03] bugzilla77 at gmail dot com There are known scripts that do not use the $_SERVER array at all. Will we remove it because it overheads? ------------------------------------------------------------------------ [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. ------------------------------------------------------------------------ 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