ext/gmp: Add gmp_prevprime()#22807

LamentXU123 wants to merge 9 commits into

php:masterphp/php-src:masterfrom

LamentXU123:gmp-prevprimeLamentXU123/php-src:gmp-prevprimeCopy head branch name to clipboard