benchmark.inc

   1 <?php\r
   2 \r
   3 if (!function_exists('getmtime'))\r
   4 {\r
   5   function getmtime()\r
   6   {\r
   7     $a = explode (' ',microtime());\r
   8     return(double) $a[0] + $a[1];\r
   9   }\r
  10 }\r
  11 \r
  12 // For benchmarking\r
  13 global $StartTime;\r
  14 $StartTime = getmtime();\r
  15 ?>\r