mediawiki/core branch fundraising/REL1_31 is for php7.0. CI triggers the php7.2 based Phan mediawiki-core-php72-phan-docker and it thus fail:
+ cd /mediawiki/ + '[' '!' -f .phan/config.php ']' + '[' '!' -f tests/phan/config.php ']' + jq -e '.extra."phan"' composer.json null + CFG_COMPOSER=vendor/mediawiki/mediawiki-phan-config/composer.json + jq -e '.extra."phan"' vendor/mediawiki/mediawiki-phan-config/composer.json jq: error: Could not open file vendor/mediawiki/mediawiki-phan-config/composer.json: No such file or directory + PHAN_VERSION=0.8 + export COLUMNS=80 + COLUMNS=80 + '[' -f .phan/config.php ']' + export PHP_ARGS=-dextension=ast_012.so + PHP_ARGS=-dextension=ast_012.so + install_phan + cd /srv/phan + composer require phan/phan:0.8 [InvalidArgumentException] Package phan/phan at version 0.8 has a PHP requirement incompatible with your PHP version (7.2.16)
Dummy change for testing: https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/517986/
Should we backport a more recent Phan for that branch? Or else we would need to keep supporting php7.0 which is the current target for the fundraising cluster. Ideally, the fundraising branch should be aiming at php 7.2 but that is a different task I guess.