Special:Preferences: Replace OOUI preferences CSS by LESS file
authorVolker E <volker.e@wikimedia.org>
Sat, 30 Jun 2018 13:26:12 +0000 (15:26 +0200)
committerVolker E <volker.e@wikimedia.org>
Sat, 30 Jun 2018 13:26:12 +0000 (15:26 +0200)
commit40d2d66f4475a64b4ec3ce7f5b6046fd5d97160b
treee3bc8554d6bf8d521e8e4bc518a588f26cd76393
parentad1d6542e39c8f2aa423a542bb2c34a63d4c5718
Special:Preferences: Replace OOUI preferences CSS by LESS file

Also use 'mediawiki.mixins' and structure file in LESS way.

Change-Id: I3de02eb3996c1ebe9536067df593d3096a5f1eaa
resources/Resources.php
resources/src/mediawiki.special.preferences.styles.ooui.css [deleted file]
resources/src/mediawiki.special.preferences.styles.ooui.less [new file with mode: 0644]