From 5aba304a6a3404675d8805630323b2aca5531fa9 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Mon, 9 Jan 2017 15:31:58 -0800
Subject: [PATCH] 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
---
 .../src/mediawiki.less/mediawiki.ui/variables.less  | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less
index 9688f1f8fc..d4937c67ce 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;
-
-- 
2.20.1