--- /dev/null
+<?php\r
+\r
+if (!function_exists('getmtime'))\r
+{\r
+ function getmtime()\r
+ {\r
+ $a = explode (' ',microtime());\r
+ return(double) $a[0] + $a[1];\r
+ }\r
+}\r
+\r
+// For benchmarking\r
+global $StartTime;\r
+$StartTime = getmtime();\r
+?>\r