Index: trunk/tools/cron.php
===================================================================
diff -u -N -r3983 -r4856
--- trunk/tools/cron.php	(.../cron.php)	(revision 3983)
+++ trunk/tools/cron.php	(.../cron.php)	(revision 4856)
@@ -13,4 +13,10 @@
 $event_manager->RunRegularEvents(reBEFORE, true);
 $event_manager->RunRegularEvents(reAFTER, true);
 
+function getmicrotime()
+{
+    list($usec, $sec) = explode(" ", microtime());
+    return ((float)$usec + (float)$sec);
+}
+
 ?>
\ No newline at end of file