mediawiki.special.changeslist.legend: Convert CSS to LESS

Change-Id: I543cb50958689af6b32d3cd462a8f77f31724a03

diff --git a/resources/Resources.php b/resources/Resources.php
index f034519..d461867 100644 (file)
--- 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 (file)
index 14f6aee..0000000
--- 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 (file)
index 0000000..eb57213
--- /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;
+       }
+}