From e543e9ceeafcdd6fdf04215066156c5ffc201c1a Mon Sep 17 00:00:00 2001 From: Lukas Metzger Date: Fri, 23 Mar 2018 16:37:29 +0100 Subject: [PATCH] Added possible override for config --- backend/src/config/ConfigDefault.php | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/backend/src/config/ConfigDefault.php b/backend/src/config/ConfigDefault.php index 6cb9ec6..fb130a5 100644 --- a/backend/src/config/ConfigDefault.php +++ b/backend/src/config/ConfigDefault.php @@ -25,6 +25,10 @@ $defaultConfig = [ ] ]; -$userConfig = require('ConfigUser.php'); +if (file_exists('ConfigOverride.php')) { + $userConfig = require('ConfigOverride.php'); +} else { + $userConfig = require('ConfigUser.php'); +} return array('config' => array_replace_recursive($defaultConfig, $userConfig));