dedup loaded ext names remap

Author: mvorisek

run-tests.php

@@ -878,13 +878,7 @@ function write_information(): void
     // load list of enabled and loadable extensions
     save_text($info_file, <<<'PHP'
         <?php
-        $exts = [];
-        foreach (get_loaded_extensions() as $ext) {
-            if ($ext === 'Core') {
-                continue;
-            }
-            $exts[] = ['Zend OPcache' => 'opcache'][$ext] ?? $ext;
-        }
+        $exts = remap_loaded_extensions_names(get_loaded_extensions());
         $ext_dir = ini_get('extension_dir');
         foreach (scandir($ext_dir) as $file) {
             if (!preg_match('/^(?:php_)?([_a-zA-Z0-9]+)\.(?:so|dll)$/', $file, $matches)) {
@@ -2785,6 +2779,19 @@ function run_test(string $php, $file, array $env): string
     return $restype[0] . 'ED';
 }
 
+function remap_loaded_extensions_names(array $names): array
+{
+    $exts = [];
+    foreach ($names as $name) {
+        if ($name === 'Core') {
+            continue;
+        }
+        $exts[] = strtolower(['Zend OPcache' => 'opcache'][$name] ?? $name);
+    }
+
+    return $exts;
+}
+
 /**
  * @return bool|int
  */
@@ -3672,13 +3679,8 @@ public function getExtensions(string $php): array
         }
 
         $extDir = shell_exec("$php -d display_errors=0 -r \"echo ini_get('extension_dir');\"");
-        $extensionsRaw = explode(",", shell_exec("$php -d display_errors=0 -r \"echo implode(',', get_loaded_extensions());\""));
-        foreach ($extensionsRaw as $ext) {
-            if ($ext === 'Core') {
-                continue;
-            }
-            $extensions[] = strtolower(['Zend OPcache' => 'opcache'][$ext] ?? $ext);
-        }
+        $extensions = explode(",", shell_exec("$php -d display_errors=0 -r \"echo implode(',', get_loaded_extensions());\""));
+        $extensions = remap_loaded_extensions_names($extensions);
 
         $result = [$extDir, $extensions];
         $this->extensions[$php] = $result;