From: Matthew Flaschen <mflaschen@wikimedia.org>
Date: Tue, 18 Feb 2014 21:37:37 +0000 (-0500)
Subject: Remove button styles from mediawiki.ui
X-Git-Tag: 1.31.0-rc.0~16476^2
X-Git-Url: https://git.cyclocoop.org/%242?a=commitdiff_plain;h=96ddf5a07099a4c920845dc2f6439d02c5f2e6f2;p=lhc%2Fweb%2Fwiklou.git

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
---

diff --git a/resources/mediawiki.ui/default.less b/resources/mediawiki.ui/default.less
index 05045d59a6..e576937095 100644
--- a/resources/mediawiki.ui/default.less
+++ b/resources/mediawiki.ui/default.less
@@ -3,8 +3,5 @@
  * Vector.
  */
 
-// FIXME: remove import for button styles as soon as extensions using mediawiki.ui are
-// updated to use mediawiki.ui.button as well.
 @import "components/utilities";
-@import "components/default/buttons";
 @import "components/default/forms";
diff --git a/resources/mediawiki.ui/vector.less b/resources/mediawiki.ui/vector.less
index d084731d00..08690a305f 100644
--- a/resources/mediawiki.ui/vector.less
+++ b/resources/mediawiki.ui/vector.less
@@ -2,9 +2,6 @@
  * Provide Agora appearance for mw-ui-* classes when using the Vector skin.
  */
 
-// FIXME: remove import for button styles as soon as extensions using mediawiki.ui are
-// updated to use mediawiki.ui.button as well.
-
 // Typography
 //
 // We prefer the usage of Georgia Bold for all headings. Georgia Regular is used to place emphasis on pull-out or short quotations. This latter usage should be used sparingly. 
@@ -24,6 +21,5 @@
 // Styleguide 1.
 
 @import "components/utilities";
-@import "components/vector/buttons";
 @import "components/vector/forms";
 @import "components/vector/containers";