comment about wgShowIPinHeader disabling file cache

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 954121f..0f657e5 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2280,6 +2280,7 @@ $wgXhtmlNamespaces = array();
 /**
  * Show IP address, for non-logged in users. It's necessary to switch this off
  * for some forms of caching.
+ * Will disable file cache.
  */
 $wgShowIPinHeader = true;