Updated mediawiki/extensions
Project: mediawiki/extensions/UserMerge  3b32495ac717a0c1dc5afebe054ab2b129eaeeb3

Optimize SpecialUserMerge::mergeEditcount

Change-Id: If090b190b4ca30b49ddabc27b68c450551edd0d8