Update leaflet-providers.js

[JeroenDeDauw]

For

• https://github.com/ProfessionalWiki/Maps/issues/701

[JeroenDeDauw]

@krabina @D-Groenewegen @redheadkelly

[JeroenDeDauw]

All I did was copying over the new file. Anything else needed?

Did someone already test this? I'm not sure it works, since the Leaflet version in Maps is not fully up to date.

[krabina]

I just copied over the file in my testwiki. Seems to be working (though I did not do a thorough test):

• https://test.knowledge.wiki/MapsTestStatisch
• https://test.knowledge.wiki/MapsTestBasemap
• https://test.knowledge.wiki/MapsTestGeoJsonDynamisch