[gis] chore : up leaflet to 1.9.4 Refs : https://github.com/Leaflet

spip-contrib-extensions/gis

Par b_b, le 25 mai 2023 à 14h18min :

chore: up leaflet to 1.9.4

Refs: Release v1.9.4 · Leaflet/Leaflet · GitHub

Modifié
lib/leaflet/dist/leaflet-src.js
lib/leaflet/dist/leaflet.css
lib/leaflet/dist/leaflet.js

Détails : chore: up leaflet to 1.9.4 · 04bb7a5ef0 - gis - SPIP on GIT