Rename "properties" of geojson to "wr_properties".

[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / wrmap.body.php

diff --git a/wrmap.body.php b/wrmap.body.php
index 78669649af178cf5edd711f3682e1ecb847a1f66..fa4bd4162854de91a9d3de413e5ade176ef3cb41 100644 (file)
--- a/wrmap.body.php
+++ b/wrmap.body.php
@@ -271,7 +271,7 @@ class WrBaseMap {
                $json = array(
                        'type' => 'FeatureCollection',
                        'features' => $json_features,
-                       'properties' => $properties
+                       'wr_properties' => $properties
                );
                $json_string = json_encode($json);