familien.gdamsbo/_site/site_libs/leaflet-providers-plugin-2.1.2/leaflet-providers-plugin.js

LeafletWidget.methods.addProviderTiles = function(provider, layerId, group, options) {
  this.layerManager.addLayer(L.tileLayer.provider(provider, options), "tile", layerId, group);
};