skip non loadable Core ext

Author: mvorisek

run-tests.php

@@ -880,6 +880,9 @@ function write_information(): void
         <?php
         $exts = [];
         foreach (get_loaded_extensions() as $ext) {
+            if ($ext === 'Core') {
+                continue;
+            }
             $exts[] = ['Zend OPcache' => 'opcache'][$ext] ?? $ext;
         }
         $ext_dir = ini_get('extension_dir');
@@ -3726,12 +3729,14 @@ public function getExtensions(string $php): array
         }
 
         $extDir = `$php -d display_errors=0 -r "echo ini_get('extension_dir');"`;
-        $extensions = explode(",", `$php -d display_errors=1 -d display_startup_errors=1 -r "echo implode(',', get_loaded_extensions());"`);
-        if (in_array('Zend OPcache', $extensions)) {
-            $extensions[] = 'opcache';
+        $extensionsRaw = explode(",", `$php -d display_errors=1 -d display_startup_errors=1 -r "echo implode(',', get_loaded_extensions());"`);
+        foreach ($extensionsRaw as $ext) {
+            if ($ext === 'Core') {
+                continue;
+            }
+            $extensions[] = strtolower(['Zend OPcache' => 'opcache'][$ext] ?? $ext);
         }
         print_r($extensions);
-        $extensions = array_map('strtolower', $extensions);
 
         $result = [$extDir, $extensions];
         $this->extensions[$php] = $result;