From da605f50bd2048a8b18dcf84f67f802bcca5250c Mon Sep 17 00:00:00 2001 From: alistair3149 Date: Mon, 11 Nov 2024 15:30:40 -0500 Subject: [PATCH] Add documentation on why wikidiff2 is installed differently --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index a55989a..2f4a037 100644 --- a/Dockerfile +++ b/Dockerfile @@ -36,6 +36,7 @@ RUN set -eux; \ ADD --chmod=0755 https://github.com/mlocati/docker-php-extension-installer/releases/latest/download/install-php-extensions /usr/local/bin/ # Install wikidiff2 +# There is no pecl package for wikidiff2 (https://phabricator.wikimedia.org/T196132) RUN install-php-extensions wikidiff2 RUN set -eux; \