Update comment in DefaultSettings for bug 17180

When a check to disable $wgShowIPinHeader if $wgUseFileCache is
enabled was added to Setup.php (bug 17180), the inline comment
documentation in DefaultSettings.php was not adjusted, and continues
to indicate that users must manually coordinate the values of
$wgShowIPinHeader and $wgUseFileCache.  This patch adjusts the comment
to reflect the current automatic coordination.

Bug: 55723
Change-Id: I8078a3847c9ef2f386702bca5b5272028dc41e31

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 8e7e76e..e56a6d5 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2134,7 +2134,7 @@ $wgStyleVersion = '303';
 /**
  * This will cache static pages for non-logged-in users to reduce
  * database traffic on public sites.
- * Must set $wgShowIPinHeader = false
+ * Automatically sets $wgShowIPinHeader = false
  * ResourceLoader requests to default language and skins are cached
  * as well as single module requests.
  */