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
-// 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/utilities";
-@import "components/default/buttons";
@import "components/default/forms";
@import "components/default/forms";
* Provide Agora appearance for mw-ui-* classes when using the Vector skin.
*/
* 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.
// 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.
// Styleguide 1.
@import "components/utilities";
// Styleguide 1.
@import "components/utilities";
-@import "components/vector/buttons";
@import "components/vector/forms";
@import "components/vector/containers";
@import "components/vector/forms";
@import "components/vector/containers";