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: >> DISCLAIMER: i am NOT a php upstream developer... You are not, but Anatol Bielski is! Anatol Belski <notifications@github.com>: good idea. Please file a feature request to bugs.php.net to track and discuss. We still need to care about 32-bit. Thanks. https://github.com/php/php-src/commit/83497327e747703300d35831b4aa94adf1120165 Previous Comments: ------------------------------------------------------------------------ [2018-12-17 14:29:54] bugzilla77 at gmail dot com So, what is your damned problem writing $start=microtime(true); // ... print($start); instead of // ... print($_SERVER['REQUEST_TIME_FLOAT']); Do not you see this one and unnecessary global variable? In a moment you will write that I can create a class for it. Bravo. ------------------------------------------------------------------------ [2018-12-17 14:26:51] spam2 at rhsoft dot net DISCLAIMER: i am NOT a php upstream developer, just annoyed by stupid feature requests in a bug tracker where even component / package is not proper selected and the first change of subject shows that no second of considering was invested ------------------------------------------------------------------------ [2018-12-17 14:22:53] spam2 at rhsoft dot net 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? ------------------------------------------------------------------------ [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. ------------------------------------------------------------------------ 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