Code Duplication    Length = 7-7 lines in 2 locations

dev/Profiler.php 2 locations

@@ 60-66 (lines=7) @@
57
		if(!self::$inst) self::$inst = new Profiler(true,true);
58
	}
59
60
	public static function mark($name, $level2 = "", $desc = "") {
61
		if($level2 && $_GET['debug_profile'] > 1) $name .= " $level2";
62
63
		if(!self::$inst) self::$inst = new Profiler(true,true);
64
65
		self::$inst->startTimer($name, $desc);
66
	}
67
	public static function unmark($name, $level2 = "", $desc = "") {
68
		if($level2 && $_GET['debug_profile'] > 1) $name .= " $level2";
69
@@ 67-73 (lines=7) @@
64
65
		self::$inst->startTimer($name, $desc);
66
	}
67
	public static function unmark($name, $level2 = "", $desc = "") {
68
		if($level2 && $_GET['debug_profile'] > 1) $name .= " $level2";
69
70
		if(!self::$inst) self::$inst = new Profiler(true,true);
71
72
		self::$inst->stopTimer($name, $desc);
73
	}
74
	public static function show($showTrace = false) {
75
		if(!self::$inst) self::$inst = new Profiler(true,true);
76