Lines Matching defs:time
312 * The time it took to parse the code
315 protected $time = 0;
1826 //Split up the job using single lines at a time
3173 // to use instead of building a string every time
3662 * Sets the time taken to parse the code
3664 * @param string $start_time The time when parsing started as returned by @see microtime()
3665 * @param string $end_time The time when parsing ended as returned by @see microtime()
3671 $this->time = $end[0] + $end[1] - $start[0] - $start[1];
3675 * Gets the time taken to parse the code
3677 * @return double The time taken to parse the code
3681 return $this->time;
4210 $replacements[] = $replacements[] = number_format($time = $this->get_time(), 3);
4222 if ($time <= 0) {
4225 $speed = strlen($this->source) / $time;