Update dependency phpunit/php-code-coverage to v12.5.1

This MR contains the following updates:

Package	Change	Age	Confidence
phpunit/php-code-coverage	12.4.0 -> 12.5.1

---

Release Notes

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

v12.5.1: phpunit/php-code-coverage 12.5.1

Compare Source

Changed

• #​1125: Improve performance of XML report by using XMLWriter instead of DOM

v12.5.0: phpunit/php-code-coverage 12.5.0

Compare Source

Added

• Option to not generate the <source> element for the XML report

Changed

• #​1102, #​1111, #​1112, #​1113, #​1114, #​1115, #​1116, #​1117, #​1118, #​1119, #​1120, #​1121, #​1122, #​1123, #​1124: Improve performance of XML report
• #​1107: Do not sort code coverage data over and over
• #​1108: Do not sort covered files data over and over
• #​1109: Represent line coverage data using objects
• #​1126: Add test execution time to <test> elements under projects/tests in the XML reports index file
• #​1127: Add SHA-1 hash of content of SUT source file to XML report

---

Configuration

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

🚦 Automerge: Enabled.

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

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

---

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

---

This MR has been generated by Renovate Bot.