diff options
Diffstat (limited to 'program/include/main.inc')
| -rw-r--r-- | program/include/main.inc | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/program/include/main.inc b/program/include/main.inc index f9783ba3f..dbed2ba09 100644 --- a/program/include/main.inc +++ b/program/include/main.inc @@ -1023,17 +1023,16 @@ function write_log($name, $line) * @access private */ function rcube_timer() - { - list($usec, $sec) = explode(" ", microtime()); - return ((float)$usec + (float)$sec); - } +{ + return microtime(true); +} /** * @access private */ function rcube_print_time($timer, $label='Timer') - { +{ static $print_count = 0; $print_count++; @@ -1044,7 +1043,7 @@ function rcube_print_time($timer, $label='Timer') $label = 'Timer '.$print_count; console(sprintf("%s: %0.4f sec", $label, $diff)); - } +} /** |