Skip to content

Conversation

DanielEScherzer
Copy link
Member

No description provided.

@Girgias Girgias merged commit 34325c5 into php:master Sep 22, 2024
8 of 10 checks passed
@DanielEScherzer DanielEScherzer deleted the double-quotes branch September 22, 2024 23:44
Girgias pushed a commit that referenced this pull request Sep 23, 2024
… names (#15998)

This is a follow-up to #15990, as it turns out there was a second place that emits this kind of error message.
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.

2 participants