From bf449ff78f39696762f4eec62da168228d3870d7 Mon Sep 17 00:00:00 2001 From: Roan Kattouw Date: Sat, 1 May 2010 21:26:30 +0000 Subject: [PATCH] Followup to r65590: we don't need to explain the meanings of 'true' and 'false' for cases like these where a dictionary will suffice. Fix another typo in the RELEASE-NOTES entry as well, and bump $wgStyleVersion for r65591. --- RELEASE-NOTES | 2 +- includes/DefaultSettings.php | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 2f65f52612..3e398dbcad 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -62,7 +62,7 @@ it from source control: http://www.mediawiki.org/wiki/Download_from_SVN * ajaxwatch now uses the API and JQuery, and can be used to animate arbitrary watch links, not just to watch the page the link is on. * (bug 20193) Added $wgVectorShowVariantName global configuration variable - which causes Vector to render the the variants drop-down menu with a label + which causes Vector to render the variants drop-down menu with a label showing the current variant name. This is off by default, pending further research into its user experience implications. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index a71369d46f..6d42b33883 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1683,7 +1683,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches do not keep obsolete copies of global * styles. */ -$wgStyleVersion = '274'; +$wgStyleVersion = '275'; # Server-side caching: @@ -4204,8 +4204,6 @@ $wgVectorUseIconWatch = false; /** * Show the name of the current variant as a label in the variants drop-down menu - * true = Show the label - * false = Do not show the label */ $wgVectorShowVariantName = false; -- 2.20.1