Searched refs:fetch_time (Results 1 – 1 of 1) sorted by relevance
124 $start_time = fetch_time($buffer);132 $end_time = fetch_time($buffer);222 function fetch_time(&$text) { function