equal
deleted
inserted
replaced
43 * Returns a floating-point number with the current UNIX timestamp in microseconds. Defined very early because we gotta call it |
43 * Returns a floating-point number with the current UNIX timestamp in microseconds. Defined very early because we gotta call it |
44 * from very early on in the script to measure the starting time of Enano. |
44 * from very early on in the script to measure the starting time of Enano. |
45 * @return float |
45 * @return float |
46 */ |
46 */ |
47 |
47 |
48 function microtime_float() |
48 if ( !function_exists('microtime_float') ) |
49 { |
49 { |
50 list($usec, $sec) = explode(" ", microtime()); |
50 function microtime_float() |
51 return ((float)$usec + (float)$sec); |
51 { |
|
52 list($usec, $sec) = explode(" ", microtime()); |
|
53 return ((float)$usec + (float)$sec); |
|
54 } |
52 } |
55 } |
53 |
56 |
54 // Determine starting time |
57 // Determine starting time |
55 global $_starttime; |
58 global $_starttime; |
56 $_starttime = microtime_float(); |
59 $_starttime = microtime_float(); |