Details
Event Timeline
Change 824216 had a related patch set uploaded (by Giuseppe Lavagetto; author: Giuseppe Lavagetto):
[operations/puppet@production] deployment-prep: serve php 7.4 by default
Change 824217 had a related patch set uploaded (by Giuseppe Lavagetto; author: Giuseppe Lavagetto):
[operations/puppet@production] mediawiki::jobrunner: allow picking a default php version
Change 824218 had a related patch set uploaded (by Giuseppe Lavagetto; author: Giuseppe Lavagetto):
[operations/puppet@production] deployment-prep: convert jobrunner to use php 7.4 by default
Change 824216 merged by Giuseppe Lavagetto:
[operations/puppet@production] deployment-prep: serve php 7.4 by default
Change 824217 merged by Giuseppe Lavagetto:
[operations/puppet@production] mediawiki::jobrunner: allow picking a default php version
Change 824218 merged by Giuseppe Lavagetto:
[operations/puppet@production] deployment-prep: convert jobrunner to use php 7.4 by default
As of now, deployment-prep is using php 7.4 only. We can cleanup later and remove php 7.2 completely.