Deprecate greys not part of WikimediaUI color palette any more

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

Author: Volker-E

RELEASE-NOTES-1.30

@@ -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

resources/src/mediawiki.less/mediawiki.ui/variables.less

@@ -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;
@@ -80,3 +74,12 @@
 
 // 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;