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: AGAIN: the current variables comign from httpd *for free* don't you unerstand that system calls and rhings which can't be resolved at compile time one and for all are *expensive* und for hyperfast applications the startup time of php is learday a problem because it's a large amout of the request? CMS CACHED: 499 us STATIC PHP: 434 us STATIC HTM: 386 us Previous Comments: ------------------------------------------------------------------------ [2018-12-17 14:43:47] bugzilla77 at gmail dot com >> 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 ------------------------------------------------------------------------ [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? ------------------------------------------------------------------------ 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