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:
95% of the data available in $ _SERVER are not needed in every script, but exists and overheads.
Previous Comments:
------------------------------------------------------------------------
[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
------------------------------------------------------------------------
[2018-12-17 12:26:36] bugzilla77 at gmail dot com
If $_SERVER['REQUEST_TIME_FLOAT'] is computed by php engine based on data from the server,
you can compute $_SERVER['REQUEST_HRTIME_INTEGER'] too.
------------------------------------------------------------------------
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