jenkins-bot has submitted this change and it was merged.
Change subject: Fail gracefully if people are using older MW
......................................................................
Fail gracefully if people are using older MW
Change-Id: Id3edcd4541fe619cb954bd86742f3589aa49ed6f
---
M MobileFrontend.php
1 file changed, 7 insertions(+), 0 deletions(-)
Approvals:
Jdlrobson: Looks good to me, but someone else must approve
Awjrichards: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index 0aa1ed3..85daf9d 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -15,6 +15,13 @@
die( -1 );
}
+// Too many people are trying to use master MF with stable MediaWiki releases
+if ( version_compare( $wgVersion, '1.22alpha', '<' ) ) {
+ echo( "This version of MobileFrontend requires MediaWiki 1.22, you have
$wgVersion.
+You can download a more appropriate version from
https://www.mediawiki.org/wiki/Special:ExtensionDistributor/MobileFrontend\n"; );
+ die( -1 );
+}
+
// Define the extension; allows us make sure the extension is used correctly
define( 'MOBILEFRONTEND', 'MobileFrontend' );
--
To view, visit https://gerrit.wikimedia.org/r/88768
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id3edcd4541fe619cb954bd86742f3589aa49ed6f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: MaxSem <[email protected]>
Gerrit-Reviewer: Awjrichards <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
