我正在尝试从 PHP 5.6.35 升级到 PHP 7.2，我确实运行了以下命令：
sudo apt install php7.2 php7.2-common php7.2-cli php7.2-cgi php7.2-fpm
一切都很顺利，但是当我尝试安装 laravel 时，它说我的 php 版本是 5.6，我需要升级它。所以我使用检查了 php 路径which
哪个 PHP：
/usr/local/bin/php
其中php7.2：
/usr/bin/php7.2
似乎我的 php 7.2 安装在下面/usr/bin，而我的旧 php 也安装在下面/usr/local/bin，并且 linux 继续读取旧的 php 版本。我该如何修复它，以便当我输入时php -v我会得到 7.2 版本？
我是 Linux 初学者，我在谷歌上搜索，但可以找到我的问题的解决方案。感谢您的帮助。
我正在尝试将每个 html 标签的值从字符串中提取到数组中。这是我的 str 值：
str = '<li><a href="/somelink1">name1</a></li><li><a href="/somelink2">name2</a></li><li><a href="/somelink3">name3</a></li>'
我想提取每个名称（name1，name2，name3）并将其放入数组中。所以输出应该是：
output = Array(
[0] => 'name1',
[1] => 'name2',
[2] => 'name3'
)
我一直在寻找一些可以做类似事情的函数，但根本没有运气：/