PHP 7.2 support was recently dropped on wikimedia/slimapp. Unfortunately, CopyPatrol is running on PHP 7.2 so it's affected by this, and now CI runs are failing.

Perhaps its time to switch to PHP 7.4 as the minimum required version to run CopyPatrol? This will require some backend changes on the Toolforge tool and the CI script (just changing '7.2' to '7.4'). As I have no access to the tool, I can't be certain of what needs to be done there. Feel free to update this task with the work needed if the upgrade will go through.