From fea7f88245be458ee757d4c7f174bfaf48772cc4 Mon Sep 17 00:00:00 2001 From: Emmet Hikory Date: Thu, 21 Nov 2013 13:56:09 +0900 Subject: [PATCH] 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 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 8e7e76e8a4..e56a6d5704 100644 --- 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. */ -- 2.20.1