Followup to r65590: we don't need to explain the meanings of 'true' and 'false' for...

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 2f65f52..3e398db 100644 (file)
--- 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 a71369d..6d42b33 100644 (file)
--- 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;