nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq7pkrmelmaue3370ls2hl8skn5lqmz6cc39cqf570ly0s7lkyrmrqm28h6g Ah no. That is older....

The PR that I prepped for those constants was closed in May without being merged..... 😕

https://github.com/php/php-src/pull/4934

So sorry about that, nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq7pkrmelmaue3370ls2hl8skn5lqmz6cc39cqf570ly0s7lkyrmrqm28h6g 🤷