Thread:Extension talk:User Merge and Delete/MediaWiki 1.15