Esempio n. 1
0
 public static function getCaseTimer()
 {
     if (!isset(self::$_caseTimer)) {
         self::$_caseTimer = new TimerUtil();
     }
     return self::$_caseTimer;
 }