wurzel/fruitbasket
10
1
Fork 1
Code Issues 5 Pull requests Projects Releases Packages Wiki Activity

mediawiki: downgrade auth plugins for login fix

Browse source
This commit is contained in:
Jonas Gaffke 2025-01-21 20:46:00 +01:00 • committed by quitte
parent d252ec452f
commit ff4df0aae0
1 changed files with 6 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
modules/wiki/fsr.nix
View file

@ -82,18 +82,13 @@ in
# the dir in the mediawiki-1.42.3.tar.gz inside of the extension folder is called "SyntaxHighlight_GeSHi" not "SyntaxHighlight" # the dir in the mediawiki-1.42.3.tar.gz inside of the extension folder is called "SyntaxHighlight_GeSHi" not "SyntaxHighlight"
SyntaxHighlight_GeSHi = null; SyntaxHighlight_GeSHi = null;
# fetching from gerrit is broken PluggableAuth = pkgs.fetchzip {
PluggableAuth = pkgs.fetchFromGitHub { url = "https://extdist.wmflabs.org/dist/extensions/PluggableAuth-REL1_42-1da98f4.tar.gz";
owner = "wikimedia"; hash = "sha256-5uBUy7lrr86ApASYPWgF6Wa09mxxP0o+lXLt1gVswlA=";
repo = "mediawiki-extensions-PluggableAuth";
rev = "7.3.0";
hash = "sha256-d9hztPSdAcyNxaxiB5Bfb4UhfLrjqpJbkto+pxfSPMY=";
}; };
OpenIDConnect = pkgs.fetchFromGitHub { OpenIDConnect = pkgs.fetchzip {
owner = "wikimedia"; url = "https://extdist.wmflabs.org/dist/extensions/OpenIDConnect-REL1_42-6c28c16.tar.gz";
repo = "mediawiki-extensions-OpenIDConnect"; hash = "sha256-X5kUuvxINbuXaLMKRcLOl2L3qbnMT72lg2NA3A9Daj8=";
rev = "8.2.0";
hash = "sha256-wVlAEMcBphw/MoREjiG90UWpQrV3aGAdhPd3rCrI/+Y=";
}; };
}; };
}; };