From: Derick Rethans <derick@php.net>
Date: Mon, 31 Jan 2011 23:11:42 +0000 (+0000)
Subject: - Don't lower case setting names; some of them actually have upper case
X-Git-Tag: php-5.3.6RC1~50
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e08473da6c6a252c44714139b9528ce409a7407f;p=php

- 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 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') {