public static function get_time_in_microseconds() { list($usec, $sec) = explode(' ', microtime()); return (double) (1000 * $sec) + $usec; }