Skip to content

Conversation

@ozh
Copy link
Member

@ozh ozh commented Jan 10, 2026

Leftovers of #4042

Some purely cosmetic, some throwing a warning in PHPStorm because they are deprecated in PHPunit

@ozh ozh requested a review from dgw January 10, 2026 16:38
@ozh
Copy link
Member Author

ozh commented Jan 10, 2026

@dgw to be included in 1.10.3 I'd say

Copy link
Member

@dgw dgw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One very nitpicky suggestion I'll just apply+merge.

@dgw dgw enabled auto-merge (squash) January 11, 2026 03:45
@dgw dgw merged commit da74bf3 into master Jan 11, 2026
8 checks passed
@dgw dgw deleted the update-phpdoc branch January 11, 2026 03:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants