From 1a6d1d04183d3975087d07e7b5becafa139d7736 Mon Sep 17 00:00:00 2001
From: Joonkyu Park <vpark45@gmail.com>
Date: Sat, 12 Jul 2025 17:15:25 +0900
Subject: [PATCH] Add Mediawiki Translate extension (REL1_42)

Add the Translate extension from Wikimedia Gerrit to support translation
features. The extension is pinned to a specific revision from the REL1_42
branch. The sha256 hash corresponds to that revision's contents.
---
 nix/module.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/nix/module.nix b/nix/module.nix
index af5d6a8..86f1d99 100644
--- a/nix/module.nix
+++ b/nix/module.nix
@@ -196,6 +196,11 @@ in {
                 sha256 = "0fl80l3xi4fl98msmbwdi8vzynaaa9r6lp37hpb7faxhpkzb9wxh";
               };
             SyntaxHighlightHaskellAlias = ../SyntaxHighlightHaskellAlias;
+            Translate = pkgs.fetchgit
+              { url = "https://gerrit.wikimedia.org/r/mediawiki/extensions/Translate";
+                rev = "2384f52a003a5b7efd2c1519575b7fd972788441";
+                sha256 = "sha256-/sj0wfcjVFFq1uCACAJOOkmeEL98AVBGUHWp76Ie2Fo=";
+              };
           };
 
           database = {