Add 'mediawiki.ui.button' CSS module
authorkaldari <rkaldari@wikimedia.org>
Tue, 3 Dec 2013 19:12:32 +0000 (11:12 -0800)
committerkaldari <rkaldari@wikimedia.org>
Wed, 18 Dec 2013 21:42:47 +0000 (13:42 -0800)
commit9e4e58bce8d10f65cf298b39f48e86c41b6a82b8
treef08e7ef36dd01d55bdf51000cfa72f4f51d0f697
parentf73abbee7b4fb71b9a7030571bb35f760797626d
Add 'mediawiki.ui.button' CSS module

This splits the button styling out from mediawiki.ui into a
separate module.

This is an alternative to https://gerrit.wikimedia.org/r/#/c/87296/

This migration will be implemented in 3 steps, of which this is the
first:
1. Add new mediawiki.ui.button module to core
2. Add mediawiki.ui.button dependancy to all extensions and core
   features that currently use mediawiki.ui (and have buttons)
3. Remove button styles from mediawiki.ui

Change-Id: Ia375d848df15afe6ddc3f3f19e43249d6c0706f0
resources/Resources.php
resources/mediawiki.ui/default.less
resources/mediawiki.ui/vector.less