Adapted wrmap.body.php to the new internal definition of the GeoJSON format.
-rw-r--r-- 7863 wrmap.body.php
-rw-r--r-- 8270 wrmap.js
-rw-r--r-- 6103 wrmap.php