mediawiki.special.changeslist.legend: Convert CSS to LESS
authorFomafix <fomafix@googlemail.com>
Wed, 13 Feb 2019 11:27:20 +0000 (12:27 +0100)
committerFomafix <fomafix@googlemail.com>
Wed, 13 Feb 2019 17:45:16 +0000 (18:45 +0100)
commit82182ec0e27faa7a56be82703ffe1af4bb860c19
tree16d3764e55e88dcaad8772df90c065944a9e3705
parentb7b7111c836c385f18a63460df6560fc384b536d
mediawiki.special.changeslist.legend: Convert CSS to LESS

Change-Id: I543cb50958689af6b32d3cd462a8f77f31724a03
resources/Resources.php
resources/src/mediawiki.special.changeslist.legend.css [deleted file]
resources/src/mediawiki.special.changeslist.legend.less [new file with mode: 0644]