mediawiki.ui: Fix quiet button styling and remove mixins
authorVolker E <volker.e@wikimedia.org>
Wed, 21 Nov 2018 23:13:31 +0000 (15:13 -0800)
committerVolker E <volker.e@wikimedia.org>
Fri, 23 Nov 2018 19:32:53 +0000 (11:32 -0800)
commit7c82f574881aefaa7b7a5584b55ddee148933129
treef18647a305e306f86b1cc51e5e41a6f25fe1974b
parent9de46c76503053a68d99b96319a942f8394723e9
mediawiki.ui: Fix quiet button styling and remove mixins

Quiet progressive and destructive buttons are applied right visual
properties.
Mixins make only sense when they are called several times, it
diminishes readability here and unnecessarily complicates the lookup
of values being set correctly. Therefore removing them.
Also introducing selected variables following WikimediaUI Base naming
convention in order to be replaced easily in future.

Bug: T210115
Change-Id: Iee1559ed185a12bf77fc68b6ef7f10e9a0536b07
resources/src/mediawiki.less/mediawiki.ui/mixins.less
resources/src/mediawiki.less/mediawiki.ui/variables.less
resources/src/mediawiki.ui/components/buttons.less