Add PHPUnit 13 support

[rasuvaeff]

Summary

• allow PHPUnit 13 alongside PHPUnit 11.5 and 12
• document PHPUnit 13's PHP 8.4.1 minimum in both READMEs and llms.txt
• add an unreleased changelog entry

Verification

• composer build with PHPUnit 13.1.14
• vendor/bin/phpunit examples/SortPropertyTest.php
• git diff --check

PHPUnit 13.1.14: 39 tests, 1052 assertions. Example suite: 3 tests, 4121 assertions.

Summary by CodeRabbit

• New Features
  • Added support for PHPUnit 13 on PHP 8.4.1 and newer.
  • Continued support for PHPUnit 11.5 and 12.0 on PHP 8.3.
• Documentation
  • Updated the changelog, README files, and compatibility guidance to reflect supported PHPUnit versions and PHP requirements.

[rasuvaeff]

Companion documentation update: rasuvaeff/property-testing-core#11

[coderabbitai]

Warning

Review limit reached

@rasuvaeff, you've reached your PR review limit, so we couldn't start this review.

Next review available in: 53 minutes

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

How can I continue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews.

How do review limits work?

CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.

For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.

Please refer docs for additional details.

Review details

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: bbcc25bc-89c2-43ab-9ed0-ff8fe57239cf

📥 Commits

Reviewing files that changed from the base of the PR and between b7f47fd and bc8950d.

📒 Files selected for processing (1)

• CHANGELOG.md

📝 Walkthrough

Walkthrough

The Composer requirement now includes PHPUnit 13. Documentation and the changelog state that PHPUnit 13 requires PHP 8.4.1+, while PHP 8.3 remains compatible with PHPUnit 11 or 12.

Changes

PHPUnit compatibility

Layer / File(s)	Summary
Composer PHPUnit constraint composer.json	The PHPUnit dependency constraint now includes ^13.0 alongside ^11.5 and ^12.0.
Compatibility documentation README.md, README.ru.md, llms.txt, CHANGELOG.md	The documentation and changelog describe PHPUnit 13 support on PHP 8.4.1+ and retained PHPUnit 11 or 12 support on PHP 8.3.

Estimated code review effort: 1 (Trivial) | ~5 minutes

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title clearly and concisely describes the main change: adding PHPUnit 13 support.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch support/phpunit-13

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}