From 82182ec0e27faa7a56be82703ffe1af4bb860c19 Mon Sep 17 00:00:00 2001
From: Fomafix <fomafix@googlemail.com>
Date: Wed, 13 Feb 2019 12:27:20 +0100
Subject: [PATCH] mediawiki.special.changeslist.legend: Convert CSS to LESS

Change-Id: I543cb50958689af6b32d3cd462a8f77f31724a03
---
 resources/Resources.php                       |  2 +-
 .../mediawiki.special.changeslist.legend.css  | 33 -------------------
 .../mediawiki.special.changeslist.legend.less | 33 +++++++++++++++++++
 3 files changed, 34 insertions(+), 34 deletions(-)
 delete mode 100644 resources/src/mediawiki.special.changeslist.legend.css
 create mode 100644 resources/src/mediawiki.special.changeslist.legend.less

diff --git a/resources/Resources.php b/resources/Resources.php
index f034519991..d461867f2c 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -2133,7 +2133,7 @@ return [
 		'styles' => 'resources/src/mediawiki.special.changeslist.enhanced.css',
 	],
 	'mediawiki.special.changeslist.legend' => [
-		'styles' => 'resources/src/mediawiki.special.changeslist.legend.css',
+		'styles' => 'resources/src/mediawiki.special.changeslist.legend.less',
 		'targets' => [ 'desktop', 'mobile' ],
 	],
 	'mediawiki.special.changeslist.legend.js' => [
diff --git a/resources/src/mediawiki.special.changeslist.legend.css b/resources/src/mediawiki.special.changeslist.legend.css
deleted file mode 100644
index 14f6aeeeff..0000000000
--- a/resources/src/mediawiki.special.changeslist.legend.css
+++ /dev/null
@@ -1,33 +0,0 @@
-/*!
- * Styling for changes list legend
- */
-
-.mw-changeslist-legend {
-	float: right;
-	margin-left: 1em;
-	margin-bottom: 0.5em;
-	clear: right;
-	font-size: 85%;
-	line-height: 1.2em;
-	padding: 0.5em;
-	border: 1px solid #ddd;
-}
-
-.mw-changeslist-legend dl {
-	/* Parent element defines sufficient padding */
-	margin-bottom: 0;
-}
-
-.mw-changeslist-legend dt {
-	float: left;
-	margin: 0 0.5em 0 0;
-}
-
-.mw-changeslist-legend dd {
-	margin-left: 1.5em;
-}
-
-.mw-changeslist-legend dt,
-.mw-changeslist-legend dd {
-	line-height: 1.3em;
-}
diff --git a/resources/src/mediawiki.special.changeslist.legend.less b/resources/src/mediawiki.special.changeslist.legend.less
new file mode 100644
index 0000000000..eb572136c6
--- /dev/null
+++ b/resources/src/mediawiki.special.changeslist.legend.less
@@ -0,0 +1,33 @@
+/*!
+ * Styling for changes list legend
+ */
+
+.mw-changeslist-legend {
+	float: right;
+	margin-left: 1em;
+	margin-bottom: 0.5em;
+	clear: right;
+	font-size: 85%;
+	line-height: 1.2em;
+	padding: 0.5em;
+	border: 1px solid #ddd;
+
+	dl {
+		/* Parent element defines sufficient padding */
+		margin-bottom: 0;
+	}
+
+	dt {
+		float: left;
+		margin: 0 0.5em 0 0;
+	}
+
+	dd {
+		margin-left: 1.5em;
+	}
+
+	dt,
+	dd {
+		line-height: 1.3em;
+	}
+}
-- 
2.20.1