Ticket #9440: google-map.js.patch

/

@@ -31 +31 @@
     alert("Sorry, the Google Maps API is not compatible with this browser.");
   }
 }
+
+// getIcon function - used to return a personalized GMarker
+function gmap_getIcon(path,width,height) {
+  var gicon = new GIcon(G_DEFAULT_ICON, path);
+  if(height != undefined && width != undefined) { gicon.iconSize = new GSize(width,height); }
+  return gicon;
+}
 {% endblock %}{% endautoescape %}