On Oct 22, 2004, at 4:43 PM, Ilia Alshanetsky wrote:
The question is what would be the best way to provide this information within the script. The two alternatives are: adding a new function to get this info or storing this data inside $_SERVER.
What do you think?
$_SERVER['request_time']
George
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
