Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  f09c5d1e82d6c88a7cf38837e84a92fc569b901b

Fix conflict detection in MapPatcher.

MapPatcher now also reports a conflict when removing a
mismatching value.

Change-Id: I277335f576986c2acf93f82191a14da41cc6a466