adding mediawiki extensions