Add mediawiki.ui.button to places in core using mw.ui
authorMatthew Flaschen <mflaschen@wikimedia.org>
Thu, 19 Dec 2013 01:23:17 +0000 (20:23 -0500)
committerMatthew Flaschen <mflaschen@wikimedia.org>
Thu, 19 Dec 2013 01:23:17 +0000 (20:23 -0500)
commita0edc19f420ea589d3934e62b476b04e768dd5bd
tree9c159e1718a20bf640401c0b948aa8621ce8f47b
parent0fba444861f80e0dcc4a85f306b4df0436c19d3d
Add mediawiki.ui.button to places in core using mw.ui

All of these also use other mw.ui features (e.g. mw-ui-vform,
mw-ui-input, mw-ui-checkbox-label, etc.), so they can't only depend
on mediawiki.ui.button.

Change-Id: I6906533753185f7de42552cff38a86fb0171d1d8
includes/htmlform/HTMLForm.php
includes/specials/SpecialSearch.php
includes/specials/SpecialUserlogin.php