issues
search
ProfessionalWiki
/
Maps
🗺 Maps is the MediaWiki extension that enables visualization of geographic data with dynamic embedded maps.
https://maps.extension.wiki
Other
73
stars
62
forks
source link
Use GH Actions v4
#771
Closed
JeroenDeDauw
closed
7 months ago