安装p7后发现phpinfo的版本是7.2.12，而php -v查看的却是5.4.16

应该是php.ini的配置文件有问题。

查看文件，有两个

 查看cli执行的文件是哪一个？

再查看phpinfo用的是哪一个？

好了，问题点找到了，不一致，修改吧。

//临时添加，直接执行export PATH="/usr/local/php/bin:$PATH"//永久添加vi /etc/profile//最后一行添加export PATH="/usr/local/php/bin:$PATH"

执行source /etc/profile，生效