Re: [opensuse-boosters] Mediawiki extensions