replace getmicrotime() wrapper with microtime(true)

diff --git a/classes/feeds.php b/classes/feeds.php
index de001d56821b55887e0ca11584e6e0b6639fa0a9..886470e903876c4ac53373c7157844eb83edd997 100644 (file)
--- a/classes/feeds.php
+++ b/classes/feeds.php
@@ -152,7 +152,7 @@ class Feeds extends Handler_Protected {
 
                $reply = array();
 
-               $timing_info = getmicrotime();
+               $timing_info = microtime(true);
 
                $topmost_article_ids = array();
 
@@ -750,7 +750,7 @@ class Feeds extends Handler_Protected {
        }
 
        function view() {
-               $timing_info = getmicrotime();
+               $timing_info = microtime(true);
 
                $reply = array();
 

diff --git a/include/functions.php b/include/functions.php
index 688bff76cd267d206e40c1bf49e34ef12369c998..979a287616f99cd4d6dbbe8731fcaca0da45a877 100644 (file)
--- a/include/functions.php
+++ b/include/functions.php
@@ -478,11 +478,6 @@
                print "</select>";
        }
 
-       function getmicrotime() {
-               list($usec, $sec) = explode(" ",microtime());
-               return ((float)$usec + (float)$sec);
-       }
-
        function print_radio($id, $default, $true_is, $values, $attributes = "") {
                foreach ($values as $v) {
 
@@ -3065,7 +3060,7 @@
        }
 
        function print_checkpoint($n, $s) {
-               $ts = getmicrotime();
+               $ts = microtime(true);
                echo sprintf("<!-- CP[$n] %.4f seconds -->", $ts - $s);
                return $ts;
        }