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
Owner

This fixes the annoying issue of Mediawiki only keeping one revision of each branch

Running on andromeda

This fixes the annoying issue of Mediawiki only keeping one revision of each branch Running on andromeda
greg closed this pull request 2020-03-04 15:07:24 +00:00
greg closed this pull request 2020-03-04 15:07:24 +00:00
Sign in to join this conversation.
No description provided.