Searched refs:time_start (Results 1 – 4 of 4) sorted by relevance
34 $time_start = time(); variable64 if((time() - $time_start ) > $secs ) { 139 $time_start = time(); 141 if((time() - $time_start ) > $secs ) {
32 if((time() - $time_start ) > $secs ) { 40 $time_start = time();42 if((time() - $time_start ) > $secs ) { 171 $time_start = time();174 if((time() - $time_start ) > $secs ) {
180 $time_start = microtime(true); variable189 $execution_time = ($time_end - $time_start)*1000;
180 $time_start = microtime(true);188 $time = $time_end - $time_start;