diff --git a/include/class.misc.php b/include/class.misc.php
index 409e4bac6f84eee1c73b1d040eda18455c0f4954..9fd6744ba8913061a5e34c2b10bf705216d286fa 100644
--- a/include/class.misc.php
+++ b/include/class.misc.php
@@ -58,6 +58,13 @@ class Misc {
         return time()-date('Z');
     }
 
+    /* Needed because of PHP 4 support */
+    function micro_time() {
+        list($usec, $sec) = explode(" ", microtime());
+
+        return ((float)$usec + (float)$sec);
+    }
+
     //Current page
     function currentURL() {