Source for file core.get_microtime.php
Documentation is available at core.get_microtime.php
* Get seconds and microseconds
$mtime = (double)
($mtime[1]) + (double)
($mtime[0]);
/* vim: set expandtab: */
Documentation generated on Sun, 09 Mar 2008 23:51:07 -0300 by phpDocumentor 1.4.0