This was a good idea, however it could be even more useful if used to calculate the execution time of your scripts. But since it only counts whole seconds, for this microtime() would be better. Would it be possible to add $_SERVER['REQUEST_MICROTIME']?
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
