Merge pull request #100 from SemanticMediaWiki/1.3.x-dev

Bump version 1.3.0

Author: JeroenDeDauw

RELEASE-NOTES.md

@@ -1,8 +1,16 @@
 # Semantic Watchlist
 
+## 1.3.0
+
+Released on March 16, 2023.
+
+* Added compatibility with MediaWiki 1.39
+* Raised minimum MediaWiki version to 1.35
+* Raised minimum PHP version to 7.3
+
 ## 1.2.0
 
-Not a release yet
+Was not released
 
 * Added compatibility with the most recent MediaWiki versions
 * Raised minimum MediaWiki version to 1.23

composer.json

@@ -25,13 +25,13 @@
 		"source": "https://github.com/SemanticMediaWiki/SemanticWatchlist"
 	},
 	"require": {
-		"php": ">=5.6.0",
+		"php": ">=7.3",
 		"composer/installers": "1.*,>=1.0.1",
 		"mediawiki/semantic-media-wiki": "~3.0|~4.0"
 	},
 	"extra": {
 		"branch-alias": {
-			"dev-master": "1.2.x-dev"
+			"dev-master": "1.3.x-dev"
 		}
 	},
 	"autoload": {

extension.json

@@ -3,9 +3,10 @@
 	"author": [
 		"[https://www.mediawiki.org/wiki/User:Jeroen_De_Dauw Jeroen De Dauw] for [http://www.wikiworks.com/ WikiWorks]",
 		"Mark A. Hershberger",
+		"[https://www.wikiteq.com/ WikiTeq]",
 		"..."
 	],
-	"version": "1.2.0-alpha",
+	"version": "1.3.0",
 	"url": "https://www.mediawiki.org/wiki/Extension:Semantic_Watchlist",
 	"descriptionmsg": "semanticwatchlist-desc",
 	"namemsg": "semanticwatchlist-title",