Req #77307 [Opn]: $_SERVER['REQUEST_HRTIME_INTEGER']
| From: | bugzilla77 at gmail dot com | Date: | Mon, 17 Dec 2018 10:57:32 +0000 |
| Subject: | Req #77307 [Opn]: $_SERVER['REQUEST_HRTIME_INTEGER'] | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-218482@lists.php.net to get a copy of this message | ||
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['REQUEST_HRTIME_FLOAT']
+Summary: $_SERVER['REQUEST_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:
REQUEST_HRTIME_FLOAT -> REQUEST_HRTIME_INTEGER
Previous Comments:
------------------------------------------------------------------------
[2018-12-17 07:54:51] bugzilla77 at gmail dot com
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 this bug report at https://bugs.php.net/bug.php?id=77307&edit=1