jenkins-bot has submitted this change and it was merged.
Change subject: Move Mantle dependency check into efMobileFrontend_Setup
......................................................................
Move Mantle dependency check into efMobileFrontend_Setup
Bug: 68704
Change-Id: Ie50d5f94a102d17c2d29b16c0e970d65b5caa7f6
---
M MobileFrontend.php
1 file changed, 6 insertions(+), 5 deletions(-)
Approvals:
Manybubbles: Looks good to me, but someone else must approve
MaxSem: Looks good to me, approved
Hashar: Looks good to me, but someone else must approve
Florianschmidtwelzow: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index c7d7074..d105d89 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -18,11 +18,6 @@
echo "This is a MediaWiki extension and cannot run standalone.\n";
die( -1 );
}
-// Depends on Mantle extension
-if ( !class_exists( 'MantleHooks' ) ) {
- echo "Please install the Mantle MediaWiki extension.\n";
- die( -1 );
-}
// Too many people are trying to use master MF with stable MediaWiki releases
if ( version_compare( $wgVersion, '1.23c', '<' ) ) {
@@ -172,6 +167,12 @@
$wgResourceLoaderLESSImportPaths,
$wgMFDeviceWidthTablet, $wgMFDeviceWidthMobileSmall;
+ // Depends on Mantle extension
+ if ( !class_exists( 'MantleHooks' ) ) {
+ echo "Please install the Mantle MediaWiki extension.\n";
+ die( -1 );
+ }
+
if ( $wgMFNearby ) {
$wgSpecialPages['Nearby'] = 'SpecialNearby';
$wgSpecialPageGroups['Nearby'] = 'pages';
--
To view, visit https://gerrit.wikimedia.org/r/149797
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie50d5f94a102d17c2d29b16c0e970d65b5caa7f6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Awjrichards <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: JGonera <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Manybubbles <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: Spage <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
