Currently 7.2 is used, and this is annoying as MediaWiki actually requires 7.3+
there is now a 7.3 dev image, so we should use that
Description
Description
Details
Details
Title | Reference | Author | Source Branch | Dest Branch | |
---|---|---|---|---|---|
dev: Switch default mediawiki image to php 7.3 | repos/releng/cli!16 | addshore | php-73 | main |
Related Objects
Related Objects
Event Timeline
Comment Actions
Should we maybe do that after T271736: Migrate WMF production from PHP 7.2 to PHP 7.4 is done?
Comment Actions
Currently 7.2 is used, and this is annoying as MediaWiki actually requires 7.3+
master doesn't, release branches do.
Comment Actions
Ultimately the CLI should allow you to choose from multiple versions, and the one used by default should probably work for all branches of MW
Comment Actions
Both dev/stretch-php73-fpm and dev/stretch-php74-fpm currently exist, so perhaps the default should jump to 74!
It might also be nice to consider reloading running containers post update to ensure people pickup the change (and other changes) asap