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
/**
* 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.
*/