Page MenuHomePhabricator

Install wiki-specific php extensions in the mediawiki production image
Closed, ResolvedPublic

Description

The base php-fpm image doesn't include special extensions used by mediawiki. Specifically it's missing the following packages:

  • php-luasandbox
  • php-wikidiff2

Event Timeline

Joe triaged this task as High priority.Jun 22 2021, 1:02 PM

Change 700903 had a related patch set uploaded (by Giuseppe Lavagetto; author: Giuseppe Lavagetto):

[operations/mediawiki-config@master] pipeline: install php extensions

https://gerrit.wikimedia.org/r/700903

Change 700903 merged by Giuseppe Lavagetto:

[operations/mediawiki-config@master] pipeline: install php extensions

https://gerrit.wikimedia.org/r/700903

Change 710294 had a related patch set uploaded (by Ahmon Dancy; author: Ahmon Dancy):

[operations/docker-images/production-images@master] New image: php7.2-fpm-multiversion-base

https://gerrit.wikimedia.org/r/710294

Change 710294 merged by Giuseppe Lavagetto:

[operations/docker-images/production-images@master] New image: php7.2-fpm-multiversion-base

https://gerrit.wikimedia.org/r/710294

Change 710621 had a related patch set uploaded (by Ahmon Dancy; author: Ahmon Dancy):

[operations/docker-images/production-images@master] fpm-multiversion-base: Add php-excimer and php-wmerrors

https://gerrit.wikimedia.org/r/710621

Change 710621 merged by Legoktm:

[operations/docker-images/production-images@master] fpm-multiversion-base: Add php-wmerrors

https://gerrit.wikimedia.org/r/710621