2024-03-28 14:24:58 +01:00
|
|
|
{ fetchzip }:
|
2024-04-14 19:26:11 +02:00
|
|
|
let
|
|
|
|
commit = "d5b3ad8f03b65d3746e025cdd7fe3254ad6e4026";
|
|
|
|
project-name = "PluggableAuth";
|
|
|
|
tracking-branch = "REL1_41";
|
|
|
|
in
|
2024-03-28 14:24:58 +01:00
|
|
|
fetchzip {
|
|
|
|
name = "mediawiki-pluggable-auth-source";
|
2024-04-14 19:26:11 +02:00
|
|
|
url = "https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/${project_name}/+archive/${commit}.tar.gz";
|
|
|
|
hash = "sha256-mLepavgeaNUGYxrrCKVpybGO2ecjc3B5IU8q+gZTx2U=";
|
|
|
|
stripRoot = false;
|
|
|
|
passthru = { inherit project-name tracking-branch; };
|
2024-03-28 14:24:58 +01:00
|
|
|
}
|