From 96ddf5a07099a4c920845dc2f6439d02c5f2e6f2 Mon Sep 17 00:00:00 2001 From: Matthew Flaschen Date: Tue, 18 Feb 2014 16:37:37 -0500 Subject: [PATCH] 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 | 3 --- resources/mediawiki.ui/vector.less | 4 ---- 2 files changed, 7 deletions(-) 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"; -- 2.20.1