Daniel Kinzler has submitted this change and it was merged. Change subject: (Bug #40522) Fix diff on properties ......................................................................
(Bug #40522) Fix diff on properties Change-Id: Id24a2448187e0eaa1be85380f7d36426ee8a9905 --- M lib/WikibaseLib.php A lib/includes/property/PropertyDiff.php A lib/includes/property/PropertyDiffView.php M lib/includes/property/PropertyObject.php M repo/includes/content/PropertyHandler.php 5 files changed, 116 insertions(+), 2 deletions(-) Approvals: Daniel Kinzler: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/28205 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id24a2448187e0eaa1be85380f7d36426ee8a9905 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jens Ohlig <jens.oh...@wikimedia.de> Gerrit-Reviewer: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Daniel Kinzler <daniel.kinz...@wikimedia.de> Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: John Erling Blad <john.b...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits