jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/370503 )
Change subject: Deprecate greys not part of WikimediaUI color palette any more ...................................................................... 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 --- M RELEASE-NOTES-1.30 M resources/src/mediawiki.less/mediawiki.ui/variables.less 2 files changed, 13 insertions(+), 8 deletions(-) Approvals: jenkins-bot: Verified Jdlrobson: Looks good to me, approved diff --git a/RELEASE-NOTES-1.30 b/RELEASE-NOTES-1.30 index 1ab6469..dd39561d 100644 --- a/RELEASE-NOTES-1.30 +++ b/RELEASE-NOTES-1.30 @@ -169,6 +169,8 @@ 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 diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less index 56824f2..0ad791b 100644 --- a/resources/src/mediawiki.less/mediawiki.ui/variables.less +++ b/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; -- To view, visit https://gerrit.wikimedia.org/r/370503 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iaef72470c59665682f4a54d0b754d41a2678f146 Gerrit-PatchSet: 4 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: VolkerE <[email protected]> Gerrit-Reviewer: Bartosz Dziewoński <[email protected]> Gerrit-Reviewer: Jack Phoenix <[email protected]> Gerrit-Reviewer: Jdlrobson <[email protected]> Gerrit-Reviewer: Prtksxna <[email protected]> Gerrit-Reviewer: VolkerE <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
