jenkins-bot has submitted this change and it was merged.
Change subject: Revert "Fail gracefully if people are using older MW"
......................................................................
Revert "Fail gracefully if people are using older MW"
Causes problems when $wgVersion = '1.22wmf21'
This reverts commit 67e1be7bdc003cef1686ff73bba8352ed2436b03.
Change-Id: Ide534efd1ae5cf40ae10b5b17428c6ddd87985b7
---
M MobileFrontend.php
1 file changed, 0 insertions(+), 7 deletions(-)
Approvals:
Awjrichards: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index 85daf9d..0aa1ed3 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -15,13 +15,6 @@
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/89038
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ide534efd1ae5cf40ae10b5b17428c6ddd87985b7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Awjrichards <[email protected]>
Gerrit-Reviewer: Awjrichards <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
