mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
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.