Searched refs:get_time (Results 1 – 2 of 2) sorted by relevance
3680 public function get_time() { function in GeSHi4210 $replacements[] = $replacements[] = number_format($time = $this->get_time(), 3);
1005 - Time taken to parse the code is recorded and made available with the get_time()