jenkins-bot has submitted this change and it was merged. Change subject: Hygiene: Move watchstar styles to appropriate location ......................................................................
Hygiene: Move watchstar styles to appropriate location Change-Id: I7cb234606028679fc02514d1e1212a6eae9127b3 --- M includes/Resources.php 1 file changed, 3 insertions(+), 1 deletion(-) Approvals: Robmoen: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/Resources.php b/includes/Resources.php index 10e3ae8..0b453ad 100644 --- a/includes/Resources.php +++ b/includes/Resources.php @@ -81,7 +81,6 @@ 'mobile.stable.styles' => $wgMFResourceFileModuleBoilerplate + array( 'styles' => array( 'less/common-js.less', - 'less/modules/watchstar.less', ), ), ); @@ -793,6 +792,9 @@ 'javascripts/modules/watchstar/Watchstar.js', 'javascripts/modules/watchstar/init.js', ), + 'styles' => array( + 'less/modules/watchstar.less', + ), 'messages' => array( 'watchthispage', 'unwatchthispage', -- To view, visit https://gerrit.wikimedia.org/r/171040 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7cb234606028679fc02514d1e1212a6eae9127b3 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org> Gerrit-Reviewer: Awjrichards <aricha...@wikimedia.org> Gerrit-Reviewer: Robmoen <rm...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits