echo get_summary(false, false);
        }
        if ($html_output) {
            fclose($html_file);
        }
        if ($output_file != '' && $just_save_results) {
            save_or_mail_results();
        }
        if (getenv('REPORT_EXIT_STATUS') == 1 and preg_match('/FAILED(?: |$)/', implode(' ', $test_results))) {
            exit(1);
        }
        exit(0);
    }
}
verify_config();
write_information($html_output);
// Compile a list of all test files (*.phpt).
$test_files = array();
$exts_tested = count($exts_to_test);
$exts_skipped = 0;
$ignored_by_ext = 0;
sort($exts_to_test);
$test_dirs = array();
$optionals = array('tests', 'ext', 'Zend', 'ZendEngine2', 'sapi/cli', 'sapi/cgi');
foreach ($optionals as $dir) {
    if (@filetype($dir) == 'dir') {
        $test_dirs[] = $dir;
    }
}
// Convert extension names to lowercase
foreach ($exts_to_test as $key => $val) {

        echo get_summary(false, false);
        if ($html_output) {
            fclose($html_file);
        }
        if ($output_file != '' && $just_save_results) {
            save_or_mail_results();
        }
        junit_save_xml();
        if (getenv('REPORT_EXIT_STATUS') == 1 and $sum_results['FAILED']) {
            exit(1);
        }
        exit(0);
    }
}
verify_config();
write_information();
// Compile a list of all test files (*.phpt).
$test_files = array();
$exts_tested = count($exts_to_test);
$exts_skipped = 0;
$ignored_by_ext = 0;
sort($exts_to_test);
$test_dirs = array();
$optionals = array('tests', 'ext', 'Zend', 'sapi');
foreach ($optionals as $dir) {
    if (@filetype($dir) == 'dir') {
        $test_dirs[] = $dir;
    }
}
// Convert extension names to lowercase
foreach ($exts_to_test as $key => $val) {