[Summary view] [Print] [Text view]

   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();
  15  ?>