start = microtime(true); session_start(); setcookie($c->session->name, session_id(), time() + $c->session->cookie_timeout, $c->session->cookie_path); // refresh session cookie ob_start(array($this, 'bufferCallback')); } private function bufferCallback($buffer) { $buffer = str_replace('{time}', round((microtime(true) - $this->start) * 1000, 3) . ' ms', $buffer); return $buffer; } public function __destruct() { ob_end_flush(); } } ?>