Ticket #991: timer_stop-return-precision.diff

functions.php

@@ -570 +570 @@
        $mtime = $mtime[1] + $mtime[0];
        $timeend = $mtime;
        $timetotal = $timeend-$timestart;
+       $res = number_format($timetotal,$precision);
        if ($display)
-               echo number_format($timetotal,$precision);
-       return $timetotal;
+               echo $res;
+       return $res;
 }
 
 function weblog_ping($server = '', $path = '') {