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 05045d5..e576937 100644 (file)
--- 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 d084731..08690a3 100644 (file)
--- 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";