mysqli fixed in GH-9557

Author: mvorisek

run-tests.php

@@ -877,13 +877,7 @@ function write_information(): void
         $ext_dir = ini_get('extension_dir');
         foreach (scandir($ext_dir) as $file) {
             if (preg_match('/^(?:php_)?([_a-zA-Z0-9]+)\.(?:so|dll)$/', $file, $matches)) {
-                // workaround dl('mysqli') fatal error
-                // remove once https://github.com/php/php-src/issues/9196 is fixed
-                if ($matches[1] === 'mysqli') {
-                    continue;
-                }
-
-                if (@dl($matches[1])) {
+                if (!extension_loaded($matches[1]) && @dl($matches[1])) {
                     $exts[] = $matches[1];
                 }
             }