Home
last modified time | relevance | path

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

/PHP-5.5/
H A Drun-tests.php2704 $time = null !== $time ? $time : junit_get_timer($file_name);
2754 function junit_get_timer($file_name) { function

Completed in 8 milliseconds