Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  ff65735a125e0da078f3c91d38895d6b352fb207

Extract from doDiff method in MapDiffer

Change-Id: I586ad0c3b1aba8b639da7edbf24c5778497f7d7c