junit_finish_timer 1511 run-tests.php junit_finish_timer($shortname); junit_finish_timer 1811 run-tests.php junit_finish_timer($shortname);