From f01e1afb59de78d04e9e4b1d221a9c2a0f87d536 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Wed, 15 Jul 2020 17:55:59 -0700
Subject: [PATCH] less: Remove duplicated variables from mediawiki.ui

Change-Id: Ia22d95878c7099d38557cc93b3b0df65b0e8519d
---
 variables.less | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/variables.less b/variables.less
index 9c657de..c901863 100644
--- a/variables.less
+++ b/variables.less
@@ -35,9 +35,6 @@
 // == Page content ==
 //
 
-@background-color-base: #fff;
-@color-base: #202122;
-@color-base--emphasized: #000;
 @color-base--subtle: #54595d;
 @color-link: #0645ad;
 @color-link--visited: #0b0080;
@@ -46,7 +43,6 @@
 
 // See oojs/ui/src/themes/wikimediaui/common.less.
 @background-color-frameless--hover: rgba( 0, 24, 73, 7/255 ); // equivalent to @wmui-color-base90 on white
-@color-primary: #36c; // wikimedia-ui-base.less
 
 @outline-color-base--focus: @color-primary;