Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  f5ff0d753ecf96a89fd18825d95d0f074c941efa
null
Call the repo "Wikibase Repo" rather then just "Wikibase"

This is to be able to unambiguously refer to either the Wikibase software as a whole or the repo in particular. We are already calling it the repo anyway, so lets have the name reflect this.

Change-Id: Ie3aff904782e73a92277b447d4022d230b2cb091