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

diff --git a/backend.php b/backend.php
index 98b76450faffb3684918086144be13b3e112314c..41481a9635f59dbd21f78bc062f1db894ce3bfa2 100644 (file)
--- a/backend.php
+++ b/backend.php
@@ -47,7 +47,7 @@
 
        startup_gettext();
 
-       $script_started = getmicrotime();
+       $script_started = microtime(true);
 
        $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
 

diff --git a/public.php b/public.php
index 7138b3d8122bd6e48caf683f1e5755604c05eeb0..dccd77f43b3353c9243d706e375a6ab5d96e8c15 100644 (file)
--- a/public.php
+++ b/public.php
@@ -28,7 +28,7 @@
 
        startup_gettext();
 
-       $script_started = getmicrotime();
+       $script_started = microtime(true);
 
        $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);