Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  9ecab2ed136c945bda9851233003b4900152eda2

Minor cleanup in WikibaseDiffOpFactory

Change-Id: I733390f1ba1c4b64465c1db9289cb7071cb54252