Home
last modified time | relevance | path

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

/PHP-5.3/
H A Drun-tests.php1487 junit_start_timer($shortname);
1777 junit_start_timer($shortname);
2726 function junit_start_timer($file_name) { function

Completed in 12 milliseconds