run_all_tests     808 run-tests.php  		run_all_tests($test_files, $environment);
run_all_tests     945 run-tests.php  run_all_tests($test_files, $environment);
run_all_tests    1595 run-tests.php  			run_all_tests($test_files, $redirenv, $tested);