Timing functions.
$Id: time.php 505 2005-08-19 09:56:42Z stijn $
Return the current time in microseconds.
Return a printable representation of a timespan in microseconds.
Documentation generated on Fri, 30 Jun 2006 10:31:38 +0200 by phpDocumentor 1.3.0RC3