Minor: Edited the delta_time function for php5

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());