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 /include/functions.php | |
parent | 3af9dbd350163a5761f58802cbca07a6d12f9206 (diff) |
replace getmicrotime() wrapper with microtime(true)
Diffstat (limited to 'include/functions.php')
-rw-r--r-- | include/functions.php | 7 |
1 files changed, 1 insertions, 6 deletions
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; } |