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

medawiki: beautify plugin fetching

Browse source
This commit is contained in:
Rouven Seifert 2025-01-20 12:05:37 +01:00
parent d997cf3106
commit 22608b8ec0
Signed by: rouven.seifert
GPG key ID: B95E8FE6B11C4D09
1 changed files with 11 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
modules/wiki/fsr.nix
View file

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