jenkins-bot has submitted this change and it was merged.
Change subject: Correct error message when checking version number
......................................................................
Correct error message when checking version number
Change-Id: I2699a5b2892b16a4411e2c5837c6df0ac94e2b80
---
M MobileFrontend.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jdlrobson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index 88102b2..f62f888 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -22,7 +22,7 @@
// Too many people are trying to use master MF with stable MediaWiki releases
if ( version_compare( $wgVersion, '1.25c', '<' ) ) {
- echo "This version of MobileFrontend requires MediaWiki 1.23, you have
$wgVersion.
+ echo "This version of MobileFrontend requires MediaWiki 1.25, 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/175039
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2699a5b2892b16a4411e2c5837c6df0ac94e2b80
Gerrit-PatchSet: 3
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
