Added extension.json created by convertExtensionToRegistration.php.
[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / extension.json
2016-11-29 philippAdded extension.json created by convertExtensionToRegis...