安装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，生效
