Updated mediawiki/extensions
Project: mediawiki/extensions/UserMerge  e05802d8b65f6e0eb6bfc161528774525b3beac1

Add $wgUserMergeEnableDelete configuration option

Allows a wiki to disable the functionality of user deletion,
while still allowing users to be merged.

Change-Id: I63a410cb317b66ac7b03a5c9473bc9f5159155b6