mediawiki: fix account migration

2024-05-08 12:29:07 +02:00 · 2024-05-08 12:29:07 +02:00 · f40e47f871
parent 7c87808bc1
commit f40e47f871
1 changed files with 1 additions and 0 deletions
--- a/modules/wiki/fsr.nix
+++ b/modules/wiki/fsr.nix
@ -63,6 +63,7 @@ in
        # Auth
        # https://www.mediawiki.org/wiki/Extension:PluggableAuth
        # https://www.mediawiki.org/wiki/Extension:OpenID_Connect
+        $wgOpenIDConnect_MigrateUsersByEmail = true;
        $wgPluggableAuth_EnableLocalLogin = true;
        $wgPluggableAuth_Config["iFSR Login"] = [
          "plugin" => "OpenIDConnect",