diff --git a/modules/wiki/fsr.nix b/modules/wiki/fsr.nix index da73337..647af7a 100644 --- a/modules/wiki/fsr.nix +++ b/modules/wiki/fsr.nix @@ -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="; }; }; };