junit_start_timer 1507 run-tests.php junit_start_timer($shortname); junit_start_timer 1807 run-tests.php junit_start_timer($shortname);