php_microtime.pir - PHP microtime Standard Library
array getrusage([int who])
array gettimeofday([bool get_as_float])
mixed microtime([bool get_as_float])