发现问题的原因:
安装zip扩展后,配置成功,但是使用gitlab合并的时候发生错误,经检查,使用phpinfo打印出来的php版本为7.1,而使用linux度服务器 运行 php -v的版本却是5.4,故怀疑加载的php.ini文件不一致
解决方案
首先查找一下linux上有几个php.ini。结果发现有两个：
使用命令来查看cli加载的php.ini是哪个：
php -i | grep php.ini
结果为：
再查看phpinfo()打印的结果：
查看Loaded Configuration File 参数,发现不一致
解决办法:
查找php/bin目录，在/etc/profile文件在最后一行添加一个环境变量：
export PATH="/usr/local/php/bin:$PATH"
最后保存并退出执行以下命令加载到环境变量中：
source /etc/profile