mirror of
https://github.com/php/php-src.git
synced 2026-04-28 02:33:17 +02:00
Christoph M. Becker
193c57bb6f
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.