From 3e61d70f6f05e03d233c9cae82d2b610648baa39 Mon Sep 17 00:00:00 2001 From: Matthew Flaschen Date: Tue, 18 Feb 2014 16:53:06 -0500 Subject: [PATCH] Add mediawiki.ui.button to all pages so wiki content can use it Change-Id: I835f3eb9370982e2696a2af5aad451eda7cd786d --- RELEASE-NOTES-1.23 | 2 ++ includes/SkinTemplate.php | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23 index 382b54f06e..dfdaccf10d 100644 --- a/RELEASE-NOTES-1.23 +++ b/RELEASE-NOTES-1.23 @@ -114,6 +114,8 @@ production. whether to send a watchlist email notification. * (bug 42026) Special:Contributions now includes an option to filter page creations, similar to the topOnly option. +* Add mediawiki.ui.button styling to all pages so wiki content can use styled + buttons. === Bug fixes in 1.23 === * (bug 41759) The "updated since last visit" markers (on history pages, recent diff --git a/includes/SkinTemplate.php b/includes/SkinTemplate.php index 8bccaec8f3..066411de4b 100644 --- a/includes/SkinTemplate.php +++ b/includes/SkinTemplate.php @@ -104,7 +104,7 @@ class SkinTemplate extends Skin { * @param $out OutputPage */ function setupSkinUserCss( OutputPage $out ) { - $out->addModuleStyles( array( 'mediawiki.legacy.shared', 'mediawiki.legacy.commonPrint' ) ); + $out->addModuleStyles( array( 'mediawiki.legacy.shared', 'mediawiki.legacy.commonPrint', 'mediawiki.ui.button' ) ); } /** -- 2.20.1