Update extension.json to version 2 with "updateExtensionJsonSchema.php".
[philipp/winterrodeln/mediawiki_extensions/wrgeo.git] / extension.json
2021-06-22 Philipp SpitzerUpdate extension.json to version 2 with "updateExtensio... master
2021-06-12 philippRe-introduce deleted description and update URL.
2021-06-12 philippPrevent error in Module with Mediawiki 1.35.
2019-05-14 philippAdded extension.json created by convertExtensionToRegis...