/**
  * Clears all sfTimer instances stored in sfTimerManager.
  */
 public static function clearTimers()
 {
     self::$timers = array();
 }