GeoJSON is used now by the .php scripts to embed the map in the html page.
-rw-r--r-- 6599 wrmap.body.php
-rw-r--r-- 4963 wrmap.js
-rw-r--r-- 2884 wrmap.php