mediawiki-extension-oauthnames

Project information

Une extension Mediawiki permettant automatiquement de renommer les comptes utilisateur·rices sur le Wiki suivant les changements de l'identity provider

6 Commits
1 Branch
0 Tags

README

Created on

June 22, 2023

Loading