libs/PHPCrawlerBenchmark.class.php
public static function getmicrotime()
  { 
    list($usec, $sec) = explode(" ",microtime());
    return ((float)$usec + (float)$sec); 
  }
public static function getmicrotime()
  { 
    list($usec, $sec) = explode(" ",microtime());
    return ((float)$usec + (float)$sec); 
  }
Returns the current time in seconds and milliseconds.

@return float