benchmark.inc

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