start_time = []; $this->total_times = []; } public function now() { return microtime(true) - 1394060000; } public function begin($group) { $this->start_time[$group] = $this->now(); } public function end($group) { $time = $this->now() - $this->start_time[$group]; if (!isset($this->total_times[$group])) { $this->total_times[$group] = $time; } else { $this->total_times[$group] += $time; } } public function reset($group) { $this->total_times[$group] = 0; } public function total($group) { return @$this->total_times[$group]; } public function dumpAllGroups() { print "

Profiled times:\n

".htmlspecialchars($name).": ".sprintf("%0.2f msec", $time * 1000)."

\n"; } }