[MediaWiki-commits] [Gerrit] (Bug #40522) Fix diff on properties - change (mediawiki...Wikibase[master])

2012-10-16 Thread Jens Ohlig (Code Review) 
Jens Ohlig has uploaded a new change for review.

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase 
refs/changes/05/28205/1
--
To view, visit https://gerrit.wikimedia.org/r/28205
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id24a2448187e0eaa1be85380f7d36426ee8a9905
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jens Ohlig jens.oh...@wikimedia.de

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] (Bug #40522) Fix diff on properties - change (mediawiki...Wikibase[master])

2012-10-16 Thread Daniel Kinzler (Code Review) 
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