This repository has been archived on 2025-01-07. You can view files and clone it, but cannot push or open issues or pull requests.
stream-demo/patches/settings-local.patch
2020-07-22 09:54:46 +01:00

15 lines
569 B
Diff

diff --git a/web/sites/default/settings.php b/web/sites/default/settings.php
index c1c97d2..4f93dc3 100755
--- a/web/sites/default/settings.php
+++ b/web/sites/default/settings.php
@@ -767,6 +767,6 @@
* Keep this code block at the end of this file to take full effect.
*/
#
-# if (file_exists($app_root . '/' . $site_path . '/settings.local.php')) {
-# include $app_root . '/' . $site_path . '/settings.local.php';
-# }
+if (file_exists($app_root . '/' . $site_path . '/settings.local.php')) {
+ include $app_root . '/' . $site_path . '/settings.local.php';
+}