Stdlib: withhold gmp on reference profile without host php-gmp (#22860)#22998

PurHur merged 1 commit into

masterPurHur/php-compiler:masterfrom

fix/22860-gmp-extension-gatePurHur/php-compiler:fix/22860-gmp-extension-gateCopy head branch name to clipboard