diff --git a/backend.php b/backend.php
index 98b76450f..41481a963 100644
--- 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 7138b3d81..dccd77f43 100644
--- 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);