From 73035c04af5154cb5c5f08aa5a08d06e6493db1e Mon Sep 17 00:00:00 2001 From: Derick Rethans Date: Mon, 31 Jan 2011 23:11:42 +0000 Subject: [PATCH] - Don't lower case setting names; some of them actually have upper case characters. --- run-tests.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index b9c86aca2e..e608187c46 100755 --- 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') { -- 2.40.0