Switch the Mediawiki extensions to GitHub zips #144

Manually merged
greg merged 1 commits from bugfix/mediawiki_extensions_deleted_releases into master 2020-03-04 15:07:24 +00:00

1 Commits

Author SHA1 Message Date
Greg Karékinian
d7363d662b Switch the Mediawiki extensions to GitHub zips
This fixes the annoying issue of Mediawiki only keeping one revision of
each branch
2020-03-04 16:03:12 +01:00