Added extension.json created by convertExtensionToRegistration.php.
-rw-r--r-- 1138 extension.json
drwxr-xr-x - i18n
drwxr-xr-x - img
drwxr-xr-x - openlayers
-rw-r--r-- 13111 wrmap.body.php
-rw-r--r-- 11347 wrmap.js
-rw-r--r-- 6555 wrmap.php