diff -r c94af5b5c40f -r 03850e101d7f includes/common.php
--- a/includes/common.php	Fri Dec 21 18:33:56 2007 -0500
+++ b/includes/common.php	Fri Dec 21 18:52:35 2007 -0500
@@ -45,10 +45,13 @@
  * @return float
  */
 
-function microtime_float()
+if ( !function_exists('microtime_float') )
 {
-  list($usec, $sec) = explode(" ", microtime());
-  return ((float)$usec + (float)$sec);
+  function microtime_float()
+  {
+    list($usec, $sec) = explode(" ", microtime());
+    return ((float)$usec + (float)$sec);
+  }
 }
 
 // Determine starting time