Esempio n. 1
0
 /**
  * Starts the timer, for debugging purposes
  */
 public static function timer_start()
 {
     $mtime = microtime();
     $mtime = explode(' ', $mtime);
     self::$time_start = $mtime[1] + $mtime[0];
 }