Single repository in config.ini converted to array in config.php.

This commit is contained in:
Wim Rijnders
2013-04-03 17:33:09 +02:00
parent e64e24e870
commit fc32fd68ba

View File

@@ -13,6 +13,12 @@ class Config
}
$data = parse_ini_file($file, true);
# Ensure that repositories item is an array
if (!is_array($data['git']['repositories'])) {
$data['git']['repositories'] = array($data['git']['repositories']);
}
return new static($data);
}