Sie können den Befehl alias in Ihrem Terminal verwenden, um einen neuen Befehl zu erstellen, der eine andere Version von PHP ausführt.