https://www.mediawiki.org/wiki/Extension:User_Merge_and_Delete
Extension:UserMerge - MediaWiki
extensionmediawiki
https://www.mediawiki.org/wiki/Manual:Hooks/UserMergeAccountDeleteTables
Extension:UserMerge/Hooks/UserMergeAccountDeleteTables - MediaWiki
extensionhooksmediawiki