junit_get_timer (reference) in projects: PHP-5.3

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

/PHP-5.3/
H A D	run-tests.php	`2672 $time = null !== $time ? $time : junit_get_timer($file_name); 2715 function junit_get_timer($file_name) { function`

Completed in 14 milliseconds