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)
git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrmap/trunk@2554 7aebc617-e5e2-0310-91dc-80fb5f6d2477


No differences found