show_start 535 run-tests.php show_start($start_time); show_start 655 run-tests.php show_start($start_time);