| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1683,7 +1683,7 @@ |
| 1684 | 1684 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1685 | 1685 | * styles. |
| 1686 | 1686 | */ |
| 1687 | | -$wgStyleVersion = '274'; |
| | 1687 | +$wgStyleVersion = '275'; |
| 1688 | 1688 | |
| 1689 | 1689 | |
| 1690 | 1690 | # Server-side caching: |
| — | — | @@ -4204,8 +4204,6 @@ |
| 4205 | 4205 | |
| 4206 | 4206 | /** |
| 4207 | 4207 | * Show the name of the current variant as a label in the variants drop-down menu |
| 4208 | | - * true = Show the label |
| 4209 | | - * false = Do not show the label |
| 4210 | 4208 | */ |
| 4211 | 4209 | $wgVectorShowVariantName = false; |
| 4212 | 4210 | |
| Index: trunk/phase3/RELEASE-NOTES |
| — | — | @@ -62,7 +62,7 @@ |
| 63 | 63 | * ajaxwatch now uses the API and JQuery, and can be used to animate arbitrary |
| 64 | 64 | watch links, not just to watch the page the link is on. |
| 65 | 65 | * (bug 20193) Added $wgVectorShowVariantName global configuration variable |
| 66 | | - which causes Vector to render the the variants drop-down menu with a label |
| | 66 | + which causes Vector to render the variants drop-down menu with a label |
| 67 | 67 | showing the current variant name. This is off by default, pending further |
| 68 | 68 | research into its user experience implications. |
| 69 | 69 | |