Unclear versioning

[Tharnas]

When I download the current release version 0.13.0 and check the extensions.json file, it still claims to be version 0.12.3

{
    "name": "Diagrams",
    "namemsg": "diagrams-extensionname",
    "type": "other",
    "author": [
        "[https://samwilson.id.au/ Sam Wilson]"
    ],
    "version": "0.12.3",
    "url": "https://www.mediawiki.org/wiki/Extension:Diagrams",
    "descriptionmsg": "diagrams-desc",
    "license-name": "GPL-3.0-or-later",
    "requires": {
        "MediaWiki": ">= 1.34.0, <= 1.42"
    },
    "AutoloadNamespaces": {
        "MediaWiki\\Extension\\Diagrams\\": "includes/"
    },
    "config": {
        "DiagramsServiceUrl": {
            "description": "URL of the diagram-rendering service. If not provided, graphs will be locally rendered.",
            "value": ""
        }
    },
    "Hooks": {
        "ParserFirstCallInit": "main"
    },
    "HookHandlers": {
        "main": {
            "class": "MediaWiki\\Extension\\Diagrams\\Hooks",
            "services": [
                "MainConfig",
                "ShellCommandFactory"
            ]
        }
    },
    "MessagesDirs": {
        "Diagrams": [
            "i18n"
        ]
    },
    "ResourceModules": {
        "ext.diagrams.mermaid": {
            "packageFiles": [
                "resources/mermaid.js",
                "resources/foreign/mermaid/mermaid.min.js"
            ]
        }
    },
    "ResourceFileModulePaths": {
        "localBasePath": "",
        "remoteExtPath": "Diagrams"
    },
    "manifest_version": 2
}

[samwilson]

Oops, sorry! Thanks for catching this.

Fixed now in 0.13.1.