Update dependency phpunit/php-code-coverage to v13

[benjaminjonard]

This PR contains the following updates:

Package	Change	Age	Confidence
phpunit/php-code-coverage	12.5.2 → 13.0.1

---

Release Notes

sebastianbergmann/php-code-coverage (phpunit/php-code-coverage)

v13.0.1: phpunit/php-code-coverage 13.0.1

Compare Source

Fixed

• #​1135: Internal methods driverIs*() must not assume that CodeCoverage::$driver is set

v13.0.0: phpunit/php-code-coverage 13.0.0

Compare Source

Removed

• This component is no longer supported on PHP 8.3

v12.5.3: phpunit/php-code-coverage 12.5.3

Compare Source

Fixed

• #​1135: Internal methods driverIs*() must not assume that CodeCoverage::$driver is set

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by Renovate Bot.

[benjaminjonard]

⚠️ Artifact update problem

Renovate failed to update an artifact related to this branch. You probably do not want to merge this PR as-is.

♻ Renovate will retry this branch, including artifacts, only when one of the following happens:

• any of the package files in this branch needs updating, or
• the branch becomes conflicted, or
• you click the rebase/retry checkbox if found above, or
• you rename this PR's title to start with "rebase!" to trigger it manually

The artifact failure details are included below:

File name: composer.lock

Command failed: composer update phpunit/php-code-coverage:13.0.1 --with-dependencies --ignore-platform-req=ext-* --ignore-platform-req=lib-* --no-ansi --no-interaction --no-scripts --no-autoloader --no-plugins --minimal-changes
Loading composer repositories with package information
Updating dependencies
Your requirements could not be resolved to an installable set of packages.

  Problem 1
    - Root composer.json requires phpunit/php-code-coverage 13.0.1 (exact version match: 13.0.1 or 13.0.1.0), found phpunit/php-code-coverage[13.0.1] but these were not loaded, likely because it conflicts with another require.
  Problem 2
    - brianium/paratest is locked to version v7.16.1 and an update of this package was not requested.
    - brianium/paratest v7.16.1 requires phpunit/php-code-coverage ^12.5.2 -> found phpunit/php-code-coverage[12.5.2, 12.5.3] but it conflicts with your root composer.json require (13.0.1).
  Problem 3
    - phpunit/phpunit is locked to version 12.5.8 and an update of this package was not requested.
    - phpunit/phpunit 12.5.8 requires phpunit/php-code-coverage ^12.5.2 -> found phpunit/php-code-coverage[12.5.2, 12.5.3] but it conflicts with your root composer.json require (13.0.1).

Use the option --with-all-dependencies (-W) to allow upgrades, downgrades and removals for packages currently locked to specific versions.