]> ToastFreeware Gitweb - philipp/winterrodeln/mediawiki_extensions/wrmap.git/history - tools
ToastFreeware / philipp / winterrodeln / mediawiki_extensions / wrmap.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update extension.json to version 2 with "updateExtensionJsonSchema.php".
[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / tools /
2021-01-06 Philipp SpitzerHelper script to create a simplified, inner WKT of... tree | commitdiff
wrmap MediaWiki extension for Winterrodeln