jenkins-bot has submitted this change and it was merged. Change subject: Add Wikidata.org extension ......................................................................
Add Wikidata.org extension Change-Id: I2b5f089337e17c1c1fa9d9970fc2ed40d3c5dbe7 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 3 insertions(+), 0 deletions(-) Approvals: Siebrand: Looks good to me, approved jenkins-bot: Verified diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 48a9afe..c6eb33d 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -2660,6 +2660,9 @@ Wikidata Page Banner +Wikidata.org +descmsg=wikidata-org-desc + Wikihiero file = wikihiero/i18n/%CODE%.json aliasfile = wikihiero/wikihiero.alias.php -- To view, visit https://gerrit.wikimedia.org/r/281297 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2b5f089337e17c1c1fa9d9970fc2ed40d3c5dbe7 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
