junit_start_timer 1509 run-tests.php junit_start_timer($shortname); junit_start_timer 1809 run-tests.php junit_start_timer($shortname);