diff -r 5a6b6e770365 -r 68c69c656a2c web/lib/Zend/Service/Console/Command/ParameterSource/ConfigFile.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/lib/Zend/Service/Console/Command/ParameterSource/ConfigFile.php Thu May 07 15:16:02 2015 +0200 @@ -0,0 +1,104 @@ +aliases as $alias) { + if (array_key_exists($alias, $iniValues)) { + $parameterValue = $iniValues[$alias]; break; + } else if (array_key_exists(strtolower($alias), $iniValues)) { + $parameterValue = $iniValues[strtolower($alias)]; break; + } else if (array_key_exists(str_replace('-', '', $alias), $iniValues)) { + $parameterValue = $iniValues[str_replace('-', '', $alias)]; break; + } else if (array_key_exists(strtolower(str_replace('-', '', $alias)), $iniValues)) { + $parameterValue = $iniValues[strtolower(str_replace('-', '', $alias))]; break; + } + } + + if (strtolower($parameterValue) == 'true') { + $parameterValue = true; + } else if (strtolower($parameterValue) == 'false') { + $parameterValue = false; + } + + // Done! + return $parameterValue; + } +}