7184e94feb
Add some complications to MediaWiki image
990ca64225
Remove correct git directory
ea5d2b5f17
Add CI job for MediaWiki
321e15b180
Pull MediaWiki extensions from git