It's our fork of oyejorge/less.php that we need to support modern PHP versions.
|Resolved||Reedy||T206988 MediaWiki 1.31.x should be compatible with PHP 7.3|
|Resolved||MaxSem||T206975 vendor/oyejorge/less.php/lib/Less/Exception/Chunk.php triggers warnings in PHP 7.3|
|Resolved||MaxSem||T207127 Publish wikimedia/less.php on Packagist|
It appears that the new hook system for GitHub->Packagist integration requires that the Packagist account be using GitHub OAuth -- https://packagist.org/about#how-to-update-packages. We should probably figure out how to make a new low privilege GitHub account to attach to the Packagist "wikimedia" shared account to handle this. That is probably worth tracking in another task.