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:
to save one line code which by far is not needed in every script additional overhead for each
request - to gain what?
Previous Comments:
------------------------------------------------------------------------
[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.
------------------------------------------------------------------------
[2018-12-17 11:22:49] spam2 at rhsoft dot net
do you realize that this values are not from php at all but from the webserver?
it is not the script start but when the request arrived at the webserver, easily to see when you use
your own startup value at the begin of the application and so you can even measure how expensive php
initialization is
------------------------------------------------------------------------
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