From 9a218a5f6708d7cb41ac2374a871fd32f91cb4fe Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Tue, 7 Feb 2012 11:50:31 +0000 Subject: [PATCH] comment about wgShowIPinHeader disabling file cache --- includes/DefaultSettings.php | 1 + 1 file changed, 1 insertion(+) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 954121f85e..0f657e58c8 100644 --- 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; -- 2.20.1