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