PHP 7.2 binary dosyasının yerini bulup onunla çalıştırmanız gerekiyor. Mesela WHM kurulu sistemlerde:
$ /opt/cpanel/ea-php72/root/usr/bin/php artisan route:list
gibi. Plesk, Virtualmin vs onlarda nerede bilmiyorum. Dokümanlarına bakabilirsiniz.
Kök dizindeki .bashrc dosyasına php aliası ekleyerek de sadece php şeklinde de kullanabilirsiniz.
alias php='/opt/cpanel/ea-php72/root/usr/bin/php'
şeklinde.