From: Volker E <volker.e@wikimedia.org>
Date: Thu, 22 Nov 2018 00:57:29 +0000 (-0800)
Subject: mediawiki.ui: Remove deprecated color variables
X-Git-Tag: 1.34.0-rc.0~3461^2
X-Git-Url: http://git.cyclocoop.org/%22.%24h.%22?a=commitdiff_plain;h=532384a00deb5a2fbd9639145ffe2edc284f15a3;p=lhc%2Fweb%2Fwiklou.git

mediawiki.ui: Remove deprecated color variables

They became deprecated in Iaef72470c59665. It's time to remove them.

Bug: T210118
Change-Id: Ibc761a2cdc8d04213d149851129cd51ee4661899
---

diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less
index 5affcb8656..bbb8abeef2 100644
--- a/resources/src/mediawiki.less/mediawiki.ui/variables.less
+++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less
@@ -99,12 +99,3 @@
 
 // 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;