Remove button styles from mediawiki.ui
authorMatthew Flaschen <mflaschen@wikimedia.org>
Tue, 18 Feb 2014 21:37:37 +0000 (16:37 -0500)
committerMatthew Flaschen <mflaschen@wikimedia.org>
Tue, 18 Feb 2014 21:37:37 +0000 (16:37 -0500)
commit96ddf5a07099a4c920845dc2f6439d02c5f2e6f2
tree16191db143bdc7c80365279cd9ef0de9a26da1f5
parent01e3296722f2d6f648340a8103215a85041e2623
Remove button styles from mediawiki.ui

They were split off into mediawiki.ui.button, but kept overlapping
in mediawiki.ui temporarily.  We've migrated code to use
mediawiki.ui.button, so this overlap is no longer needed.

Change-Id: I5bd23434961497d49293956c92b46ab3a6f14a41
resources/mediawiki.ui/default.less
resources/mediawiki.ui/vector.less