HomePhabricator

mediawiki-dev: use wikimedia/mediawiki-core:dev

Authored by brennen on Sep 10 2019, 3:11 AM.

Description

mediawiki-dev: use wikimedia/mediawiki-core:dev

Sets an appropriate target port and entrypoint and uses the
mediawiki-core:dev images produced by the pipeline and built on
stretch-php72-fpm-apache2 from dev-images:

This runs the setup script followed by php-fpm 7.2 and Apache in the
foreground.

Also modifies readiness_probe target.

Currently using some placeholder requests / limits for CPU and memory;
benchmarking underway.

Bug: T234391
Change-Id: I7abbb780bbca1122f7f5dd6bffa919b216f8ba85

Details