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
// 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;