basic profiling information in backend.php

2005-10-23 16:48:58 +01:00
parent fc69e64169
commit 406d948993
2 changed files with 10 additions and 0 deletions
--- a/functions.php
+++ b/functions.php
@@ -420,4 +420,9 @@

 	}

+	function getmicrotime() {
+		list($usec, $sec) = explode(" ",microtime());
+		return ((float)$usec + (float)$sec);
+	}
+
 ?>