use own local.config.php for CI

This commit is contained in:
Philipp 2023-02-12 14:38:43 +01:00
parent 0d41752cfe
commit 3edc5553c6
No known key found for this signature in database
GPG key ID: 24A7501396EB5432
2 changed files with 48 additions and 1 deletions

View file

@ -54,7 +54,7 @@ trait VFSTrait
$this->setConfigFile('static' . DIRECTORY_SEPARATOR . 'defaults.config.php', true);
$this->setConfigFile('static' . DIRECTORY_SEPARATOR . 'settings.config.php', true);
$this->setConfigFile(
'mods' . DIRECTORY_SEPARATOR . 'local.config.vagrant.php',
'mods' . DIRECTORY_SEPARATOR . 'local.config.ci.php',
false, 'local.config.php'
);
}