Updated mediawiki/extensions
Project: mediawiki/extensions/UserMerge  f12ecb6b23e9c454ccb47076e5806e6cc799d89d

Update user_former_groups and user_properties, improve user_groups updating

Bug: 49518
Change-Id: Ia0a36b87a9e577c41b0c3796dcdecd1a5f7edf19