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

..

default.rb

Switch the Mediawiki extensions to GitHub zips

2020-03-04 16:03:12 +01:00