Fixed: Now name of points gets added to the GeoJSON properties.
-rw-r--r-- 6778 wrmap.body.php
-rw-r--r-- 7406 wrmap.js
-rw-r--r-- 3885 wrmap.php