Reedy has submitted this change and it was merged. Change subject: Update Wikidata extensions ......................................................................
Update Wikidata extensions Change-Id: I9cb982d624433c026573a4251e75c76527f6d6ab --- M extensions/DataValues M extensions/Diff M extensions/Wikibase 3 files changed, 0 insertions(+), 0 deletions(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/DataValues b/extensions/DataValues index fd5ad87..986d0b9 160000 --- a/extensions/DataValues +++ b/extensions/DataValues -Subproject commit fd5ad877e8d7e4144c8e1e5ceb405eced2509a5d +Subproject commit 986d0b9872c69aa51d55925d239691d03008b435 diff --git a/extensions/Diff b/extensions/Diff index ef749a3..ff65735 160000 --- a/extensions/Diff +++ b/extensions/Diff -Subproject commit ef749a32f4e771766cb0b0e9c4b8a1afb754770d +Subproject commit ff65735a125e0da078f3c91d38895d6b352fb207 diff --git a/extensions/Wikibase b/extensions/Wikibase index d14cb59..2ea52c1 160000 --- a/extensions/Wikibase +++ b/extensions/Wikibase -Subproject commit d14cb59b6386f9e3109d34a69660338530060c34 +Subproject commit 2ea52c185c45b8996b0d0d75351f27edc709fd5c -- To view, visit https://gerrit.wikimedia.org/r/70833 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9cb982d624433c026573a4251e75c76527f6d6ab Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf9 Gerrit-Owner: Aude <[email protected]> Gerrit-Reviewer: Aude <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
