Add documentation on why wikidiff2 is installed differently

StarCitizenTools · Nov 11, 2024 · da605f5 · da605f5
1 parent cd0b8a9
commit da605f5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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; \