build(deps-dev): Bump phpunit/php-code-coverage from 10.1.12 to 10.1.13

Bumps [phpunit/php-code-coverage](https://github.com/sebastianbergmann/php-code-coverage) from 10.1.12 to 10.1.13.
- [Changelog](https://github.com/sebastianbergmann/php-code-coverage/blob/10.1.13/ChangeLog-10.1.md)
- [Commits](https://github.com/sebastianbergmann/php-code-coverage/compare/10.1.12...10.1.13)

---
updated-dependencies:
- dependency-name: phpunit/php-code-coverage
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
This commit is contained in:
dependabot[bot] 2024-03-11 09:03:59 +00:00 committed by GitHub
parent f15f4c0a00
commit 88ab482e53
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

12
composer.lock generated
View file

@ -11448,16 +11448,16 @@
},
{
"name": "phpunit/php-code-coverage",
"version": "10.1.12",
"version": "10.1.13",
"source": {
"type": "git",
"url": "https://github.com/sebastianbergmann/php-code-coverage.git",
"reference": "842f72662d6b9edda84c4b6f13885fd9cd53dc63"
"reference": "d51c3aec14896d5e80b354fad58e998d1980f8f8"
},
"dist": {
"type": "zip",
"url": "https://api.github.com/repos/sebastianbergmann/php-code-coverage/zipball/842f72662d6b9edda84c4b6f13885fd9cd53dc63",
"reference": "842f72662d6b9edda84c4b6f13885fd9cd53dc63",
"url": "https://api.github.com/repos/sebastianbergmann/php-code-coverage/zipball/d51c3aec14896d5e80b354fad58e998d1980f8f8",
"reference": "d51c3aec14896d5e80b354fad58e998d1980f8f8",
"shasum": ""
},
"require": {
@ -11514,7 +11514,7 @@
"support": {
"issues": "https://github.com/sebastianbergmann/php-code-coverage/issues",
"security": "https://github.com/sebastianbergmann/php-code-coverage/security/policy",
"source": "https://github.com/sebastianbergmann/php-code-coverage/tree/10.1.12"
"source": "https://github.com/sebastianbergmann/php-code-coverage/tree/10.1.13"
},
"funding": [
{
@ -11522,7 +11522,7 @@
"type": "github"
}
],
"time": "2024-03-02T07:22:05+00:00"
"time": "2024-03-09T16:54:15+00:00"
},
{
"name": "phpunit/php-file-iterator",