Skip to content

Conversation

TimWolla
Copy link
Member

Now everything in the headers is properly prefixed by php_uri_*.

Copy link
Member

@edorian edorian left a comment

Choose a reason for hiding this comment

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

RM approval 👍 , no technical review performed

@TimWolla TimWolla merged commit e23c622 into php:master Sep 23, 2025
9 checks passed
@TimWolla TimWolla deleted the uri-naming branch September 23, 2025 07:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants