Switch the Mediawiki extensions to GitHub zips

This fixes the annoying issue of Mediawiki only keeping one revision of
each branch
This commit is contained in:
Greg Karékinian
2020-03-04 16:03:12 +01:00
parent 7fa11089b1
commit d7363d662b
2 changed files with 4 additions and 4 deletions

View File

@@ -4,7 +4,7 @@ maintainer_email 'mail@kosmos.org'
license 'MIT'
description 'Installs/Configures kosmos-mediawiki'
long_description IO.read(File.join(File.dirname(__FILE__), 'README.md'))
version '0.3.0'
version '0.3.1'
depends "mediawiki"
depends "ark"