diff options
author | Thomas Steur <thomas.steur@googlemail.com> | 2014-07-08 03:55:58 +0400 |
---|---|---|
committer | Thomas Steur <thomas.steur@googlemail.com> | 2014-07-08 03:55:58 +0400 |
commit | fc2718d880c37f4fd91fa4824b3b956d6326e1c0 (patch) | |
tree | 60cab6363ff2c19ac27bff3ab4398081efb5f05a /libs/upgradephp | |
parent | fbda5abfcd843eee8d4c33621bdd8e4390b46ddc (diff) |
refs #5409 #341 #5349 if a config value contains a dollar sign convert it to an html entity to prevent it being interpreted as a PHP variable. This allows us to remove the RAW ini parser flag which causes trouble on some PHP versions as the parser seems to be buggy.
Diffstat (limited to 'libs/upgradephp')
-rw-r--r-- | libs/upgradephp/upgrade.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/upgradephp/upgrade.php b/libs/upgradephp/upgrade.php index 0108f72d7a..ffc6a1d87f 100644 --- a/libs/upgradephp/upgrade.php +++ b/libs/upgradephp/upgrade.php @@ -130,8 +130,8 @@ if(function_exists('parse_ini_file')) { if(!file_exists($filename)) { return false; } - // Note: INI_SCANNER_RAW is important here! - return parse_ini_file($filename, $process_sections, INI_SCANNER_RAW); + + return parse_ini_file($filename, $process_sections); } } else { // we can't redefine parse_ini_file() if it has been disabled |