versão do PHP terminal linux

versão do PHP terminal
alias php=”/usr/local/bin/php72″