jenkins-bot has submitted this change and it was merged.
Change subject: Fix MW version
......................................................................
Fix MW version
Follow-up To: I07a74ecad128d37e28a47d5745ef33c622cbc0b8
Change-Id: I5485cec2ef341d19e5d59d88ab41762a6bc4f483
---
M MobileFrontend.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index 1b9873b..2d28404 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -21,7 +21,7 @@
// Too many people are trying to use master MF with stable MediaWiki releases
if ( version_compare( $wgVersion, '1.23c', '<' ) ) {
- echo "This version of MobileFrontend requires MediaWiki 1.22, you have
$wgVersion.
+ echo "This version of MobileFrontend requires MediaWiki 1.23, you have
$wgVersion.
You can download a more appropriate version from
https://www.mediawiki.org/wiki/Special:ExtensionDistributor/MobileFrontend\n";;
die( -1 );
--
To view, visit https://gerrit.wikimedia.org/r/121931
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5485cec2ef341d19e5d59d88ab41762a6bc4f483
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Shirayuki <shirayuk...@gmail.com>
Gerrit-Reviewer: Awjrichards <aricha...@wikimedia.org>
Gerrit-Reviewer: JGonera <jgon...@wikimedia.org>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Kaldari <rkald...@wikimedia.org>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
