diff --git a/config.inc.php b/config.inc.php
index 7dd1b132..308aaab2 100644
--- a/config.inc.php
+++ b/config.inc.php
@@ -577,7 +577,7 @@ $CONF['xmlrpc_enabled'] = false;
 // file (config.local.php) instead of editing this file and override some
 // settings there.
 if (file_exists(dirname(__FILE__) . '/config.local.php')) {
-    include(dirname(__FILE__) . '/config.local.php');
+    require_once(dirname(__FILE__) . '/config.local.php');
 }
 
 //