Merge pull request #379 from JeroenDeDauw/rel501

5.0.1 release

.travis.yml

@@ -9,9 +9,9 @@ matrix:
     - env: DBTYPE=mysql; MW=master; SMW=2.5.2
       php: 7.1
     - env: DBTYPE=sqlite; MW=1.28.2; SMW=2.1.3
-      php: 5.6
+      php: 7
     - env: DBTYPE=mysql; MW=1.27.3; SMW=2.4.6
-      php: 5.6
+      php: 7
     - env: DBTYPE=sqlite; MW=master; TYPE=coverage
       php: 7.1
 

Maps.php

@@ -69,7 +69,7 @@
 		);
 	}
 
-	define( 'Maps_VERSION', '5.0' );
+	define( 'Maps_VERSION', '5.0.1' );
 	define( 'SM_VERSION', Maps_VERSION );
 
 	if ( $GLOBALS['egMapsGMaps3Language'] === '' ) {

RELEASE-NOTES.md

@@ -1,6 +1,12 @@
 These are the release notes for the [Maps extension](README.md). For an overview of the different releases and which versions of PHP and MediaWiki they support, see the [platform compatibility tables](INSTALL.md#platform-compatibility-and-release-status).
 
 
+## Maps 5.0.1
+
+Released on October 18th, 2017.
+
+Special PHP 7.x optimized release. Requires PHP 7.x. Maps 5.1 will support PHP 5.6.
+
 ## Maps 5.0.0
 
 Released on October 16th, 2017.

composer.json

@@ -31,11 +31,11 @@
 		"source": "https://github.com/JeroenDeDauw/Maps"
 	},
 	"require": {
-		"php": ">=5.6",
+		"php": ">=7.0",
 		"composer/installers": "^1.0.1",
 		"mediawiki/validator": "~2.2",
 		"data-values/geo": "~2.0",
-		"jeroen/file-fetcher": "~3.1",
+		"jeroen/file-fetcher": "~4.0",
 		"jeroen/simple-cache": "~2.0"
 	},
 	"require-dev": {

src/MapsFileFetcher.php

@@ -21,7 +21,7 @@ class MapsFileFetcher implements FileFetcher {
 	 * @return string
 	 * @throws FileFetchingException
 	 */
-	public function fetchFile( $fileUrl ) {
+	public function fetchFile( string $fileUrl ): string {
 		$result = \Http::get( $fileUrl );
 
 		if ( !is_string( $result ) ) {