pyrox.dev
1{
2 lib,
3 buildPecl,
4 fetchFromGitHub,
5 pkg-config,
6 libthai,
7}:
8
9buildPecl rec {
10 pname = "wikidiff2";
11 version = "1.14.1";
12
13 src = fetchFromGitHub {
14 owner = "wikimedia";
15 repo = "mediawiki-php-wikidiff2";
16 tag = version;
17 hash = "sha256-UTOfLXv2QWdjThxfrPQDLB8Mqo4js6LzOKXePivdp9k=";
18 };
19
20 nativeBuildInputs = [ pkg-config ];
21 buildInputs = [ libthai ];
22
23 meta = {
24 description = "PHP extension which formats changes between two input texts, producing HTML or JSON";
25 license = lib.licenses.gpl2;
26 homepage = "https://www.mediawiki.org/wiki/Wikidiff2";
27 maintainers = with lib.maintainers; [ georgyo ];
28 };
29}