Denny Vrandecic has submitted this change and it was merged. Change subject: Call the repo "Wikibase Repo" rather then just "Wikibase" ......................................................................
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 --- M README M repo/Wikibase.php 2 files changed, 2 insertions(+), 2 deletions(-) Approvals: John Erling Blad: Checked Denny Vrandecic: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/48410 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie3aff904782e73a92277b447d4022d230b2cb091 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Denny Vrandecic <[email protected]> Gerrit-Reviewer: John Erling Blad <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
