Fix deprecation warning in PHP 8.4#18

robiningelbrecht merged 4 commits intorobiningelbrecht:masterrobiningelbrecht/phpunit-coverage-tools:masterfrom

robertvansteen:patch-1robertvansteen/phpunit-coverage-tools:patch-1Copy head branch name to clipboard