Replaced wrmap.php with extension.json.
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Tue, 29 Nov 2016 22:17:35 +0000 (22:17 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Tue, 29 Nov 2016 22:17:35 +0000 (22:17 +0000)
commit21c3274e876b0b1f2521c91a3d3512891a08e9f8
treeb32d731402c0401f10f68e35663b34da5e76288c
parent3efb3c00c0221c88e8bb52b7ef2acf3eb8615ea3
Replaced wrmap.php with extension.json.

git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrmap/trunk@2554 7aebc617-e5e2-0310-91dc-80fb5f6d2477
extension.json
wrmap.body.php
wrmap.php [deleted file]