mediawiki.special.changeslist.enhanced: Convert CSS to LESS
authorFomafix <fomafix@googlemail.com>
Wed, 13 Feb 2019 13:07:26 +0000 (14:07 +0100)
committerFomafix <fomafix@googlemail.com>
Wed, 13 Feb 2019 21:30:12 +0000 (22:30 +0100)
commit628cb2e32dc5d896bc4751c5404ddf2e1fc0f8ec
tree030da367324d0c1185db8d2341dfd041857a6728
parenteb4e1941851215c84cff99f21cfabec854df2a51
mediawiki.special.changeslist.enhanced: Convert CSS to LESS

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