diff --git a/extension.json b/extension.json index aaa2419a6..6ddee628f 100644 --- a/extension.json +++ b/extension.json @@ -1,6 +1,6 @@ { "name": "Maps", - "version": "7.12.2", + "version": "7.13.0", "author": [ "[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",