7.3.3 release

ProfessionalWiki · Aug 2, 2019 · 2b48ba2 · 2b48ba2
1 parent 0c8e30d
commit 2b48ba2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -3,6 +3,12 @@ different releases and which versions of PHP and MediaWiki they support, see the
 [platform compatibility tables](INSTALL.md#platform-compatibility-and-release-status).
 
 
+## Maps 7.3.3
+
+Released on August 2nd, 2019.
+
+* Fixed error in height parameter description
+
 ## Maps 7.3.2
 
 Released on July 25th, 2019.

diff --git a/extension.json b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "7.3.2",
+	"version": "7.3.3",
 
 	"author": [
 		"[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",