diff options
author | Andrew Dolgov <[email protected]> | 2013-02-27 22:16:58 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2013-02-27 22:16:58 +0400 |
commit | fa9e88c367fb3d6c771aa1788f133087f49696bc (patch) | |
tree | 250ebcfee9db4e073ca1b49998d229d7e53220ab | |
parent | 3af9dbd350163a5761f58802cbca07a6d12f9206 (diff) |
replace getmicrotime() wrapper with microtime(true)
-rw-r--r-- | classes/feeds.php | 4 | ||||
-rw-r--r-- | include/functions.php | 7 |
2 files changed, 3 insertions, 8 deletions
diff --git a/classes/feeds.php b/classes/feeds.php index de001d568..886470e90 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 688bff76c..979a28761 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; } |