Home
last modified time | relevance | path

Searched refs:start_time (Results 1 – 1 of 1) sorted by relevance

/dokuwiki/vendor/geshi/geshi/src/
H A Dgeshi.php2161 $start_time = microtime();
2182 $this->set_time($start_time, $start_time);
3108 $this->set_time($start_time, microtime());
3664 * @param string $start_time The time when parsing started as returned by @see microtime()
3668 protected function set_time($start_time, $end_time) { argument
3669 $start = explode(' ', $start_time);