From 3b8453806e075e7277cfc52af85710716fe92bf8 Mon Sep 17 00:00:00 2001 From: Sei Lisa Date: Thu, 31 Aug 2017 12:26:09 +0200 Subject: [PATCH] Move configuration to a separate file. This will allow replacing the main file without needing to re-add the settings. For example, settings.php can be always kept up-to-date locally via a symbolic link, without altering the configuration. --- php/settings-config.inc.php | 14 ++++++++++++++ php/settings.php | 13 +------------ 2 files changed, 15 insertions(+), 12 deletions(-) create mode 100644 php/settings-config.inc.php diff --git a/php/settings-config.inc.php b/php/settings-config.inc.php new file mode 100644 index 0000000..2712039 --- /dev/null +++ b/php/settings-config.inc.php @@ -0,0 +1,14 @@ +