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