replace getmicrotime() wrapper with microtime(true)

[tt-rss.git] / classes / feeds.php

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();