mirror of
https://github.com/php/php-src.git
synced 2026-04-27 10:16:41 +02:00
Christoph M. Becker
d6249b6e1f
This is only defined as of PHP-8.4; alternatively we could also inline the `brew --prefix` call, but that makes it harder for upward merges. Closes GH-16785.