The GMP PHP extension is missing with PHP 7.x

Everything used to work fine when I still used PHP 5.* environments.
With the PHP 7.2 however the GMP extension seems to be missing.
I get the error:

PHP Startup: Unable to load dynamic library 'php_gmp.so' (tried: /home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so (/home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so: cannot open shared object file: No such file or directory), /home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so.so (/home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0

What is the fix for this?

Hello @rgex,

Try removing extension="php_gmp.so" out from the phpconfig.ini file and report back.

-Montana

Imprint