exts_skipped is always empty, rm skipped/tested counts

Author: mvorisek

run-tests.php

@@ -153,7 +153,7 @@ function main(): void
      */
     global $DETAILED, $PHP_FAILED_TESTS, $SHOW_ONLY_GROUPS, $argc, $argv, $cfg,
            $cfgfiles, $cfgtypes, $conf_passed, $end_time, $environment,
-           $exts_skipped, $exts_tested, $exts_to_test, $failed_tests_file,
+           $exts_to_test, $failed_tests_file,
            $ignored_by_ext, $ini_overwrites, $is_switch, $colorize,
            $log_format, $matches, $no_clean, $no_file_cache,
            $optionals, $pass_option_n, $pass_options,
@@ -735,8 +735,6 @@ function main(): void
     } else {
         // Compile a list of all test files (*.phpt).
         $test_files = [];
-        $exts_tested = $exts_to_test;
-        $exts_skipped = [];
         $ignored_by_ext = [];
         sort($exts_to_test);
         $test_dirs = [];
@@ -3060,7 +3058,7 @@ function compute_summary(): void
 
 function get_summary(bool $show_ext_summary): string
 {
-    global $exts_skipped, $exts_tested, $n_total, $sum_results, $percent_results, $end_time, $start_time, $failed_test_summary, $PHP_FAILED_TESTS, $valgrind;
+    global $n_total, $sum_results, $percent_results, $end_time, $start_time, $failed_test_summary, $PHP_FAILED_TESTS, $valgrind;
 
     $x_total = $n_total - $sum_results['SKIPPED'] - $sum_results['BORKED'];
 
@@ -3082,9 +3080,6 @@ function get_summary(bool $show_ext_summary): string
 =====================================================================
 TEST RESULT SUMMARY
 ---------------------------------------------------------------------
-Exts skipped    : ' . sprintf('%4d', count($exts_skipped)) . ' (' . implode(', ', $exts_skipped) . ')
-Exts tested     : ' . sprintf('%4d', count($exts_tested)) . '
----------------------------------------------------------------------
 ';
     }