jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/331417 )
Change subject: Remove deprecated mediawiki.UI Less variables ...................................................................... Remove deprecated mediawiki.UI Less variables Removing Less variables, which have been deprecated since MW 1.24, and are not longer in use in any Wikimedia projects as of today. Bug: T154950 Depends-on: I9bcd90ebbebbaece13e0cf9f36afd5964d49dc3b Change-Id: Icbf146eb409b85a89c4dc4fb8b46eda4cf2d3193 --- M resources/src/mediawiki.less/mediawiki.ui/variables.less 1 file changed, 0 insertions(+), 13 deletions(-) Approvals: jenkins-bot: Verified Jdlrobson: Looks good to me, approved diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less index 9688f1f..d4937c6 100644 --- a/resources/src/mediawiki.less/mediawiki.ui/variables.less +++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less @@ -65,16 +65,3 @@ // Form input sizes @checkboxSize: 2em; @radioSize: 2em; - -// The following rules are deprecated -@colorWhite: #fff; -@colorOffWhite: #fafafa; -@colorGrayDark: #898989; -@colorGrayLight: #ccc; -@colorGrayLighter: #ddd; -@colorGrayLightest: #eee; -// Green; for contextual use of a positive finalizing action -@colorConstructive: #00af89; -@colorConstructiveHighlight: #1c6665; -@colorConstructiveActive: #134645; - -- To view, visit https://gerrit.wikimedia.org/r/331417 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icbf146eb409b85a89c4dc4fb8b46eda4cf2d3193 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: VolkerE <volke...@wikimedia.org> Gerrit-Reviewer: Fomafix <foma...@googlemail.com> Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net> Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: VolkerE <volke...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits