在Travis CI中启用PHP-GMP

我使用Travis ci对我的一个PHP项目进行自动化测试。 到目前为止，我使用的是PHP5.4环境，一切正常。 但是，升级到PHP 7.2环境后，我出现以下错误：

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

我试图通过更新我的.travis.yml文件来解决这个问题，但迄今为止没有成功

language: php
dist: bionic

sudo: true

php:
  - 7.2
# Doesn't work
#before_install:
#    - sudo add-apt-repository ppa:ondrej/php -y
#    - sudo apt-get update
#    - sudo apt-get install php7.2-gmp

install:
  - composer install

before_script: phpenv config-add phpconfig.ini

这是到相关项目的Github页面的链接：

我从

phpconfig.ini

文件中删除了

extension=“php\u gmp.so”

，并且一切正常