On Tue, 27 Dec 2011, Pierre Joye wrote: > On Tue, Dec 27, 2011 at 1:19 PM, Derick Rethans <der...@php.net> wrote: > > > Ah, that one. I got lost between all the commas and thought he meant an > > RFC for changing REQUEST_TIME from int to float :-) > > Which name should we use? > > a) REQUEST_TIME_FLOAT > b) REQUEST_TIME_MSEC > c) other?
I'd vote for a (REQUEST_TIME_FLOAT), as MSEC is not what it really does. Depending on the time and precision it might not show miliseconds f.e. cheers, Derick -- http://derickrethans.nl | http://xdebug.org Like Xdebug? Consider a donation: http://xdebug.org/donate.php twitter: @derickr and @xdebug -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
