Filtered format: leaflet-providers need updating

[krabina]

Setup

• MW version: 1.39
• DB (MySQL etc.):
• PHP version: 7.4
• SMW version: 4.2
• SRF version: 4.2
• Browsers and versions (if applicable):

Issue

The maps view in the filtered format does work with leaflet maps. If you select 'OpenStreetMap.Mapnik' as srfgMapProvider the Maps are working as expected:
https://www.verwaltungspreis.gv.at/Wien

However, if you select "BasemapAT.basemap" or "BasemapAT.grau", only some tiles are shown:
https://test.knowledge.wiki/MapsTestFiltered

The maps are working in the maps extension:
https://test.knowledge.wiki/MapsTestStatisch

But not in the filtered map view (that does not use the maps extension).

[krabina]

maybe this is related to a outdated Leaflet 1.4.0 library?
https://github.com/SemanticMediaWiki/SemanticResultFormats/blob/master/formats/filtered/resources/js/ext.srf.filtered.leaflet.js

Maps uses 1.6.0 https://github.com/ProfessionalWiki/Maps/blob/master/resources/lib/leaflet/leaflet.js

[krabina]

Using the version from Maps does not work in filtered, btw. Then no tile is being displayed.

[gesinn-it-gea]

In https://test.knowledge.wiki/MapsTestFiltered you see a lot of JS errors:

[gesinn-it-gea]

https://maps4.wien.gv.at/basemap/bmapgrau/normal/google3857/19/181813/285981.png

Webseite ist nicht erreichbar

[gesinn-it-gea]

https://maps.wien.gv.at/basemap/bmapgrau/normal/google3857/19/181812/285977.png

[gesinn-it-gea]

is available. Seems to be an issue with the map service

[krabina]

Understandable, the links should be mapsneu.wien.gv.at ...
https://cdn.basemap.at/basemap.at_URL_Umstellung_2023.pdf
Which I updated a while ago: https://github.com/leaflet-extras/leaflet-providers/blob/master/leaflet-providers.js#L864

[krabina]

so probably these need to be updated:

SemanticResultFormats/formats/filtered/package.json

Line 19 in 1a47abf

"@types/leaflet-providers": "^1.1.0",

SemanticResultFormats/formats/filtered/package-lock.json

Line 91 in 1a47abf

"version": "1.1.3",