diff --git a/inc/init.php b/inc/init.php
index 772f85c7762a752474e90f32672773d249d69b62..819d92bdc52e07e8692865cb0540dbdb0ce7f396 100644
--- a/inc/init.php
+++ b/inc/init.php
@@ -5,8 +5,7 @@
 
 // start timing Dokuwiki execution
 function delta_time($start=0) {
-    list($usec, $sec) = explode(" ", microtime());
-    return ((float)$usec+(float)$sec)-((float)$start);
+    return microtime(true)-((float)$start);
 }
 define('DOKU_START_TIME', delta_time());