Update comment in DefaultSettings for bug 17180
authorEmmet Hikory <persia@shipstone.jp>
Thu, 21 Nov 2013 04:56:09 +0000 (13:56 +0900)
committerIAlex <codereview@emsenhuber.ch>
Fri, 22 Nov 2013 20:21:51 +0000 (20:21 +0000)
commitfea7f88245be458ee757d4c7f174bfaf48772cc4
tree5d9a6fc6c71d6a7c5f2e09125bd6081b2f8c2feb
parentbe72acc19f411d00ff80c1568ed06b9ab0722d75
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