TypeError: L.Control.MiniMap is undefined

Hi,

with the addition of the MiniMap feature on March 8, I started to see this JavaScript error:

Error: TypeError: L.Control.MiniMap is undefined

this is added in ip_geoloc/js/ip_geoloc_leaflet_controls.js and if I comment

/*L.extend(L.Control.MiniMap.prototype, {
	hideText: Drupal.t('Hide this inset'),
	showText: Drupal.t('Show map inset'),
});*/

the error is gone. I don't intend to use the minimap, so I don't want to load another library just for an error to go away, so there should probably be a check to see if the minimap is active and the library is loaded before trying to extend the controls.

I also think this error prevented the leaflet_markecluster to load, so I spent some time to figure that out, looking in the wrong direction first. As soon as the error was gone, markercluster loaded as before.