- Don't lower case setting names; some of them actually have upper case

  characters.

diff --git a/run-tests.php b/run-tests.php
index b9c86aca2e2cd0e88cdf7bbfffc07c229d05bbd9..e608187c46cdeace3c7dc7b29e891ce807e134a3 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -2143,7 +2143,7 @@ function settings2array($settings, &$ini_settings)
 
                if (strpos($setting, '=') !== false) {
                        $setting = explode("=", $setting, 2);
-                       $name = trim(strtolower($setting[0]));
+                       $name = trim($setting[0]);
                        $value = trim($setting[1]);
 
                        if ($name == 'extension') {