Manual:Merging users

Merging users, or attributing all of a user's contributions to another account, is a proposed MediaWiki feature. It is implemented by Extension:UserMerge.