phpExtensions.wikidiff2: init at 1.14.1

2025-04-19 12:48:00 -04:00
parent f87f18d01d
commit f86ce3b328
2 changed files with 31 additions and 0 deletions
@@ -0,0 +1,29 @@
+{
+  lib,
+  buildPecl,
+  fetchFromGitHub,
+  pkg-config,
+  libthai,
+}:
+
+buildPecl rec {
+  pname = "wikidiff2";
+  version = "1.14.1";
+
+  src = fetchFromGitHub {
+    owner = "wikimedia";
+    repo = "mediawiki-php-wikidiff2";
+    tag = version;
+    hash = "sha256-UTOfLXv2QWdjThxfrPQDLB8Mqo4js6LzOKXePivdp9k=";
+  };
+
+  nativeBuildInputs = [ pkg-config ];
+  buildInputs = [ libthai ];
+
+  meta = {
+    description = "PHP extension which formats changes between two input texts, producing HTML or JSON.";
+    license = lib.licenses.gpl2;
+    homepage = "https://www.mediawiki.org/wiki/Wikidiff2";
+    maintainers = with lib.maintainers; [ georgyo ];
+  };
+}
@@ -403,6 +403,8 @@ lib.makeScope pkgs.newScope (

        vld = callPackage ../development/php-packages/vld { };

+        wikidiff2 = callPackage ../development/php-packages/wikidiff2 { };
+
        xdebug = callPackage ../development/php-packages/xdebug { };

        yaml = callPackage ../development/php-packages/yaml { };