Similar repositories to wikimedia/mediawiki-extensions-Sudo: