From ac4be4d7b593a3b1762bd1ffb4f6ac9a5f22edd4 Mon Sep 17 00:00:00 2001
From: Piyush Mishra <me@piyushmishra.com>
Date: Mon, 21 Mar 2011 19:18:34 +0530
Subject: [PATCH] Minor: Edited the delta_time function for php5

---
 inc/init.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/inc/init.php b/inc/init.php
index 772f85c77..819d92bdc 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());