Config override file, included by config.php. Placeholder - no overrides by default.

config/config_local.php

@@ -0,0 +1,6 @@
+<?
+/* Local config overrides.
+   You can override the config.php settings here.  Don't do it unless you know what you're doing.
+   Use standard PHP syntax, see config.php for examples. */
+
+?>