show_start 775 run-tests.php show_start($start_time); show_start 912 run-tests.php show_start($start_time);