mediawiki-extension-oauthnames

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