never add unmapped ext

mvorisek · mvorisek · commit 397766839bbc · 2022-09-10T11:57:58.000+02:00
diff --git a/run-tests.php b/run-tests.php
@@ -887,8 +887,8 @@ function write_information(): void
                 continue;
             }
             $ext = $matches[1];
-            if (!in_array($ext, $exts) && !extension_loaded($ext) && @dl($file)) {
-                $exts[] = $ext;
+            if (!in_array($ext, $exts) && @dl($file)) {
+                $exts = remap_loaded_extensions_names(get_loaded_extensions());
             }
         }
         echo implode(',', $exts);

Original file line number	Diff line number	Diff line change
`@@ -887,8 +887,8 @@ function write_information(): void`
`887`	`887`	`continue;`
`888`	`888`	`}`
`889`	`889`	`$ext = $matches[1];`
`890`		`- if (!in_array($ext, $exts) && !extension_loaded($ext) && @dl($file)) {`
`891`		`- $exts[] = $ext;`
	`890`	`+ if (!in_array($ext, $exts) && @dl($file)) {`
	`891`	`+ $exts = remap_loaded_extensions_names(get_loaded_extensions());`
`892`	`892`	`}`
`893`	`893`	`}`
`894`	`894`	`echo implode(',', $exts);`