From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Wed, 27 Feb 2013 18:16:58 +0000 (+0400)
Subject: replace getmicrotime() wrapper with microtime(true)
X-Git-Tag: 1.7.1~22^2~7
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=fa9e88c367fb3d6c771aa1788f133087f49696bc;p=tt-rss.git

replace getmicrotime() wrapper with microtime(true)
---

diff --git a/classes/feeds.php b/classes/feeds.php
index de001d56..886470e9 100644
--- 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 688bff76..979a2876 100644
--- 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;
 	}