Skip to content

Conversation

felixarntz
Copy link
Member

See #3.

Copy link
Contributor

@borkweb borkweb left a comment

Choose a reason for hiding this comment

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

Looks glorious!

@JasonTheAdams JasonTheAdams merged commit 9cce0a7 into trunk Jul 13, 2025
@JasonTheAdams JasonTheAdams deleted the document/min-php-version branch July 13, 2025 02:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
[Type] Developer Documentation Documentation for developers
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants