always lowercased already

mvorisek · mvorisek · commit 24ce41072376 · 2022-09-10T11:58:13.000+02:00
diff --git a/run-tests.php b/run-tests.php
@@ -748,11 +748,6 @@ function main(): void
             }
         }
 
-        // Convert extension names to lowercase
-        foreach ($exts_to_test as $key => $val) {
-            $exts_to_test[$key] = strtolower($val);
-        }
-
         foreach ($test_dirs as $dir) {
             find_files(TEST_PHP_SRCDIR . "/{$dir}", $dir == 'ext');
         }

Original file line number	Diff line number	Diff line change
`@@ -748,11 +748,6 @@ function main(): void`
`748`	`748`	`}`
`749`	`749`	`}`
`750`	`750`
`751`		`- // Convert extension names to lowercase`
`752`		`- foreach ($exts_to_test as $key => $val) {`
`753`		`- $exts_to_test[$key] = strtolower($val);`
`754`		`- }`
`755`		`-`
`756`	`751`	`foreach ($test_dirs as $dir) {`
`757`	`752`	`find_files(TEST_PHP_SRCDIR . "/{$dir}", $dir == 'ext');`
`758`	`753`	`}`