Deprecate greys not part of WikimediaUI color palette any more
authorVolker E <volker.e@wikimedia.org>
Mon, 7 Aug 2017 16:45:11 +0000 (18:45 +0200)
committerjdlrobson <jdlrobson@gmail.com>
Fri, 18 Aug 2017 20:01:09 +0000 (15:01 -0500)
Deprecating greys, which are not part of WikimediaUI color palette
any more:
- @colorGray3: #333;
- @colorGray6: #666;
- @colorGray8: #888;
- @colorGray9: #999;
- @colorGray11: #bbb;
- @colorGray13: #ddd;

See https://wikimedia.github.io/WikimediaUI-Style-Guide/visual-style_icons.html
for further information.

Bug: T152025
Change-Id: Iaef72470c59665682f4a54d0b754d41a2678f146

RELEASE-NOTES-1.30
resources/src/mediawiki.less/mediawiki.ui/variables.less

index 1ab6469..dd39561 100644 (file)
@@ -169,6 +169,8 @@ changes to languages because of Phabricator reports.
   class. Prior to that, the Config parameter was optional (a behavior deprecated in
   1.25).
 * Removed 'jquery.mwExtension' module. (deprecated since 1.26)
+* mediawiki.ui: Deprecate greys, which are not part of WikimediaUI color palette
+  any more.
 
 == Compatibility ==
 MediaWiki 1.30 requires PHP 5.5.9 or later. There is experimental support for
index 56824f2..0ad791b 100644 (file)
@@ -1,20 +1,14 @@
 // Colors for use in mediawiki.ui and elsewhere
 
-// Although this defines many shades, be parsimonious in your own use of grays. Prefer
-// colors already in use in MediaWiki. Prefer semantic color names such as "@colorText".
+// Although this defines many shades, be parsimonious in your own use of grays.
+// Prefer semantic color names such as `@colorText` below.
 @colorGray1: #000; // darkest
 @colorGray2: #222;
-@colorGray3: #333;
 @colorGray4: #444;
 @colorGray5: #54595d;
-@colorGray6: #666;
 @colorGray7: #72777d;
-@colorGray8: #888;
-@colorGray9: #999;
 @colorGray10: #a2a9b1;
-@colorGray11: #bbb;
 @colorGray12: #c8ccd1;
-@colorGray13: #ddd;
 @colorGray14: #eaecf0;
 @colorGray15: #f8f9fa; // lightest
 @colorBaseInverted: #fff;
 
 // Form input sizes, equal to OOUI at 14px base font-size
 @sizeInputBinary: 1.5625em;
+
+// Deprecated color variables from when WikimediaUI color palette wasn't around
+// See https://wikimedia.github.io/WikimediaUI-Style-Guide/visual-style_colors.html
+@colorGray3: #333;
+@colorGray6: #666;
+@colorGray8: #888;
+@colorGray9: #999;
+@colorGray11: #bbb;
+@colorGray13: #ddd;