Home
last modified time | relevance | path

Searched refs:set_time (Results 1 – 1 of 1) sorted by path

/dokuwiki/vendor/geshi/geshi/src/
H A Dgeshi.php2182 $this->set_time($start_time, $start_time);
3108 $this->set_time($start_time, microtime());
3668 protected function set_time($start_time, $end_time) { function in GeSHi