Re: [PHP-DEV] Possible RFC: $_SERVER['REQUEST_TIME_FLOAT']

2023-04-12 Thread Rowan Tommins
On Wed, 12 Apr 2023 at 11:01, Herbert Groot Jebbink < herb...@groot.jebbink.nl> wrote: > > I'm in the process of using hrtime(true) instead of microtime(true), for > this it would be great if REQUEST_TIME_HR would also exist next to > REQUEST_TIME and REQUEST_TIME_FLOAT Hi :) The idea sounds

[PHP-DEV] Possible RFC: $_SERVER['REQUEST_TIME_FLOAT']

2023-04-12 Thread Herbert Groot Jebbink
Hello, With this mail I want to do the first step of a RFC: "1. Email internals@lists.php.net to measure reaction to your intended proposal." I'm in the process of using hrtime(true) instead of microtime(true), for this it would be great if REQUEST_TIME_HR would also exist next to REQUEST_TIME