jenkins-bot has submitted this change and it was merged. Change subject: Allow mediawiki ui resource loader module to target mobile ......................................................................
Allow mediawiki ui resource loader module to target mobile Note: All special page modules for mediawiki ui not in core should be pointed at mobile and desktop Change-Id: Ied58bac51ea8dfb557c30a34190093390ff5038e --- M BetaFeatures.php 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: MarkTraceur: Looks good to me, approved jenkins-bot: Verified diff --git a/BetaFeatures.php b/BetaFeatures.php index 07c6779..d81a41c 100644 --- a/BetaFeatures.php +++ b/BetaFeatures.php @@ -62,6 +62,7 @@ 'dependencies' => array( 'jquery.client', ), + 'targets' => array( 'mobile', 'desktop' ), ) + $moduleInfo; $wgResourceModules['ext.betaFeatures.popup'] = array( -- To view, visit https://gerrit.wikimedia.org/r/102977 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ied58bac51ea8dfb557c30a34190093390ff5038e Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/BetaFeatures Gerrit-Branch: master Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org> Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org> Gerrit-Reviewer: MarkTraceur <mtrac...@member.fsf.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits