GitHub repository: weirdgloop/mediawiki-extensions-MigrateUserAccount
Primary language: PHP
Description: Allows users to reclaim their account on a wiki by verifying their identity on an external wiki.