throw new Exception('Die Landkarte enthält folgenden ungültigen Text: "' . trim($xml) . '".');
}
$json_features = array(); // output
- $point_types = array('gasthaus', 'haltestelle', 'parkplatz', 'achtung', 'foto', 'punkt');
+ $point_types = array('gasthaus', 'haltestelle', 'parkplatz', 'achtung', 'foto', 'verleih', 'punkt');
$line_types = array('rodelbahn', 'gehweg', 'alternative', 'lift', 'anfahrt', 'linie');
foreach ($xml as $feature) {
$given_properties = array();
* <parkplatz>
* <achtung>
* <foto>
+ * <verleih>
* <punkt>
* <rodelbahn>
* <alternative>
* <linie>
* The order may be used by the renderer to determine in which order the
elements should be drawn.
-* <gasthaus>, <haltestelle>, <parkplatz>, <achtung>, <foto> and <punkt> define points
+* <gasthaus>, <haltestelle>, <parkplatz>, <achtung>, <foto>, <verleih> and <punkt> define points
* The elements may have the following attributes:
* name (string): defines the name (not the label) of the element
* wiki (string): name of a MediaWiki page the point refers to