Update name of mediawiki upstream repo