Remove unnecessary whitespace.
[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / extension.json
2018-05-22 Philipp SpitzerBump version number.
2017-01-23 philippChanged version to 3.4.2.
2016-11-29 philippChanged version to 3.4.0.
2016-11-29 philippReplaced wrmap.php with extension.json.
2016-11-29 philippAdded extension.json created by convertExtensionToRegis...