From b11b5d44f9742b299c8bc97c08cdfb0ae3eab5ae Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Wed, 18 Sep 2019 15:32:53 -0700
Subject: [PATCH] Remove obsolete `.vectorMenu ul` selector

Has been made obsolete in I8e45af51ffc.

Change-Id: I23c69b5615199899be9bc16ba012ed21e920f317
---
 components/tabs.less | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/components/tabs.less b/components/tabs.less
index 2f5dbde17..950ea32c3 100644
--- a/components/tabs.less
+++ b/components/tabs.less
@@ -170,14 +170,6 @@
 		visibility: visible;
 	}
 
-	// FIXME: `.vectorMenu ul` can be removed with purged HTML cache
-	ul {
-		list-style: none none;
-		padding: 0;
-		margin: 0;
-		text-align: left;
-	}
-
 	li {
 		padding: 0;
 		margin: 0;