GitHub repository: weirdgloop/mediawiki-extensions-Renameuser
Primary language: PHP
Created: 2022-04-18T00:32:51Z
Description: Allows renaming users on the Weird Gloop network, by creating jobs for each wiki.