X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/6e569199623b3d62e6726c4a0442323accded9f7..82b3ad7a5242b09f6ad221e2d027ca1c060ff36e:/lib/template/details-html.php

diff --git a/lib/template/details-html.php b/lib/template/details-html.php
index a02d3abf..9124d594 100644
--- a/lib/template/details-html.php
+++ b/lib/template/details-html.php
@@ -33,7 +33,6 @@ body {
     </style>
 	<script src="js/OpenLayers.js"></script>
 	<script src="js/tiles.js"></script>
-	<script src="prototype-1.6.0.3.js"></script>
 	<script type="text/javascript">
         
 		var map;
@@ -52,7 +51,7 @@ body {
                 numZoomLevels: 19,
                 units: 'm',
                 projection: new OpenLayers.Projection("EPSG:900913"),
-                displayProjection: new OpenLayers.Projection("EPSG:4326"),
+                displayProjection: new OpenLayers.Projection("EPSG:4326")
             	} );
 			map.addLayer(new OpenLayers.Layer.OSM.<?php echo CONST_Tile_Default;?>("Default"));
 
@@ -69,16 +68,18 @@ body {
 				fillColor: "#F0F7FF",
 				strokeWidth: 2,
 				strokeOpacity: 0.75,
-				fillOpacity: 0.75,
+				fillOpacity: 0.75
 			};
 			var proj_EPSG4326 = new OpenLayers.Projection("EPSG:4326");
 			var proj_map = map.getProjectionObject();
 			var latlon;
 <?php
+if (isset($aPolyPoints)) {
 foreach($aPolyPoints as $aPolyPoint)
 {
 	echo "                        pointList.push(new OpenLayers.Geometry.Point(".$aPolyPoint[1].",".$aPolyPoint[2]."));\n";
 }
+}
 ?>
 			var linearRing = new OpenLayers.Geometry.LinearRing(pointList).transform(proj_EPSG4326, proj_map);;
 			var polygonFeature = new OpenLayers.Feature.Vector(new OpenLayers.Geometry.Polygon([linearRing]),null,style);