Thank you very much Ciencia Al Poder. I did that, and indeed seems to be the easiest way until WMF upgrades to php 7.3.
I'm am not a puppet expert but for the benefit of anyone else, what I did is:
- fork the mediawiki-vagrant repo
- add the following at the end of puppet/modules/mediawiki/manifests/init.pp:
exec { "change min php mediawiki":
command => 'sed -i "s/7.3.19/7.2.31/g" /vagrant/mediawiki/includes/PHPVersionCheck.php',
provider => shell,
require => Git::Clone['mediawiki/core'],
}
exec { "change min php composer":
command => 'sed -i "s/7.3.19/7.2.31/g" /vagrant/mediawiki/composer.json',
provider => shell,
require => Git::Clone['mediawiki/core'],
}
exec { "change doctrine dbal composer":
command => 'sed -i "s@doctrine/dbal\": \"3.0.0@doctrine/dbal\": \"2.10.4||3.0.0@g" /vagrant/mediawiki/composer.json',
provider => shell,
require => Git::Clone['mediawiki/core'],
}