Sebastian Kippe 38c6a1ae15

Update mediawiki, install extensions from git repos

2020-08-30 17:59:45 +02:00

..

default.rb

Update mediawiki, install extensions from git repos

2020-08-30 17:59:45 +02:00