junit_start_timer 1513 run-tests.php junit_start_timer($shortname); junit_start_timer 1813 run-tests.php junit_start_timer($shortname);