mediawiki: update to lastest versions

This commit is contained in:
Rouven Seifert 2025-01-21 15:34:49 +01:00
parent 3fc5565c6b
commit d252ec452f
Signed by: rouven.seifert
GPG key ID: B95E8FE6B11C4D09
2 changed files with 15 additions and 5 deletions

View file

@ -64,7 +64,8 @@ in
# https://www.mediawiki.org/wiki/Extension:PluggableAuth
# https://www.mediawiki.org/wiki/Extension:OpenID_Connect
$wgOpenIDConnect_MigrateUsersByEmail = true;
$wgPluggableAuth_EnableLocalLogin = true;
//$wgOpenIDConnect_MigrateUsersByUserName = true;
$wgPluggableAuth_EnableLocalLogin = false;
$wgPluggableAuth_Config["iFSR Login"] = [
"plugin" => "OpenIDConnect",
"data" => [
@ -85,14 +86,14 @@ in
PluggableAuth = pkgs.fetchFromGitHub {
owner = "wikimedia";
repo = "mediawiki-extensions-PluggableAuth";
rev = "REL1_42";
hash = "sha256-DKDVcAfWL90FmZbSsdx1J5PkGu47EsDQmjlCpcgLCn4=";
rev = "7.3.0";
hash = "sha256-d9hztPSdAcyNxaxiB5Bfb4UhfLrjqpJbkto+pxfSPMY=";
};
OpenIDConnect = pkgs.fetchFromGitHub {
owner = "wikimedia";
repo = "mediawiki-extensions-OpenIDConnect";
rev = "REL1_42";
hash = "sha256-0egGL3Gr7UQPdd2fjPEThcdJx+H+PcdXEGfQFMe45Sk=";
rev = "8.2.0";
hash = "sha256-wVlAEMcBphw/MoREjiG90UWpQrV3aGAdhPd3rCrI/+Y=";
};
};
};