Fix de l'extension Popups

wiki
Lyes Saadi 2025-05-26 22:51:24 +02:00
parent a1e70f8574
commit bea0b48110
No known key found for this signature in database
GPG Key ID: 55A1D803917CF39A
1 changed files with 10 additions and 3 deletions

View File

@ -1,5 +1,10 @@
{ pkgs, config, ... }:
{ lib, pkgs, config, ... }:
let
version = pkgs.mediawiki.version;
major = lib.versions.major version;
minor = lib.versions.minor version;
in
{
age.secrets.mediawiki-admin-passwd = {
file = ../../secrets/mediakiwi/mediawiki-admin-passwd.age;
@ -60,8 +65,10 @@
Popups = pkgs.fetchFromGitHub {
owner = "wikimedia";
repo = "mediawiki-extensions-Popups";
tag = "REL1_38";
sha256 = "sha256-iguedL3pih3XnnAMt/kV+PVCu7MRCuKXXI8zGu9tjZw=";
rev = "REL" + major + "_" + minor;
# Le SHA doit être changé à chaque nouveau commit de traduction.
# Pas de meilleure solution à ma connaissance pour suivre les releases.
sha256 = "sha256-deKDEC87yTQrToZC5yNAH9tmV/5pFa4gsaSuOYXfIEo=";
};
};
};