Updated mediawiki/extensions
Project: mediawiki/extensions/UserMerge  5be0093cd548c81e5dc19ffb54955925e1ff7955

Merging users fails to merge edit counts

Version 1.7.1 20130604

Bug: 44917
Change-Id: Ic837e2f84ad793d6f48b508d16919332812be6ac