junit_start_timer (reference) in projects: PHP-7.3

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

/PHP-7.3/
H A D	run-tests.php	`1625 junit_start_timer($shortname); 1934 junit_start_timer($shortname); 2890 function junit_start_timer($file_name) { function`

Completed in 9 milliseconds