Fix outdated compat check

JeroenDeDauw · JeroenDeDauw · commit 247b534cd31b · 2020-04-02T23:45:07.000+02:00
diff --git a/MapsRegistration.php b/MapsRegistration.php
@@ -38,9 +38,9 @@ public static function onRegistration( array $credits ) {
 				throw new Exception( 'You need to have Validator installed in order to use Maps' );
 			}
 
-			if ( version_compare( $GLOBALS['wgVersion'], '1.27c', '<' ) ) {
+			if ( version_compare( $GLOBALS['wgVersion'], '1.31c', '<' ) ) {
 				throw new Exception(
-					'This version of Maps requires MediaWiki 1.27 or above; use Maps 4.2.x for older versions.'
+					'This version of Maps requires MediaWiki 1.31 or above; use Maps 5.6.x for older versions.'
 					. ' More information at https://github.com/JeroenDeDauw/Maps/blob/master/INSTALL.md'
 				);
 			}

Original file line number	Diff line number	Diff line change
`@@ -38,9 +38,9 @@ public static function onRegistration( array $credits ) {`
`38`	`38`	`throw new Exception( 'You need to have Validator installed in order to use Maps' );`
`39`	`39`	`}`
`40`	`40`
`41`		`- if ( version_compare( $GLOBALS['wgVersion'], '1.27c', '<' ) ) {`
	`41`	`+ if ( version_compare( $GLOBALS['wgVersion'], '1.31c', '<' ) ) {`
`42`	`42`	`throw new Exception(`
`43`		`- 'This version of Maps requires MediaWiki 1.27 or above; use Maps 4.2.x for older versions.'`
	`43`	`+ 'This version of Maps requires MediaWiki 1.31 or above; use Maps 5.6.x for older versions.'`
`44`	`44`	`. ' More information at https://github.com/JeroenDeDauw/Maps/blob/master/INSTALL.md'`
`45`	`45`	`);`
`46`	`46`	`}`