/**
* Returns reference to Timer object.
* @return Timer
*/
public static function getTimer()
{
if (self::$timer === null) {
include_once 'phing/system/util/Timer.php';
self::$timer = new Timer();
}
return self::$timer;
}
