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.3 → 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

---

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.19.2 and an update of this package was not requested.
    - brianium/paratest v7.19.2 requires phpunit/php-code-coverage ^12.5.3 || ^13.0.1 -> found phpunit/php-code-coverage[12.5.3, 13.0.1] but these were not loaded, likely because it conflicts with another require.
  Problem 3
    - phpunit/phpunit is locked to version 12.5.14 and an update of this package was not requested.
    - phpunit/phpunit 12.5.14 requires phpunit/php-code-coverage ^12.5.3 -> found phpunit/php-code-coverage[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.

[benjaminjonard]

Renovate Ignore Notification

Because you closed this PR without merging, Renovate will ignore this update. You will not get PRs for any future 13.x releases. But if you manually upgrade to 13.x then Renovate will re-enable minor and patch updates automatically.

If you accidentally closed this PR, or if you changed your mind: rename this PR to get a fresh replacement PR.