Searched refs:junit_get_timer (Results 1 – 1 of 1) sorted by relevance
2782 $time = null !== $time ? $time : junit_get_timer($file_name);2832 function junit_get_timer($file_name) { function
Completed in 9 milliseconds