Wenn Du mehrere PHP Versionen installiert hast, möchtest Du vielleicht die Standard Version ohne viel Aufwand wechseln können. Log Dich über SSH auf Deinem Server ein und gebe nachfolgendes Kommando in der Kommandozeile ein:

sudo update-alternatives --config php

Nun bekommst Du alle installierten Versionen aufgelistet:

$ sudo update-alternatives --config php
There are 6 choices for the alternative php (providing /usr/bin/php).

  Selection    Path             Priority   Status
------------------------------------------------------------
* 0            /usr/bin/php7.4   74        auto mode
  1            /usr/bin/php5.6   56        manual mode
  2            /usr/bin/php7.0   70        manual mode
  3            /usr/bin/php7.1   71        manual mode
  4            /usr/bin/php7.2   72        manual mode
  5            /usr/bin/php7.3   73        manual mode
  6            /usr/bin/php7.4   74        manual mode

Die gewünschte Version auswählen, z.B. Version php7.2. Nun kann man mit php -v überprüfen, ob das funktioniert hat:

$ php -v
PHP 7.2.31-1+ubuntu20.04.1+deb.sury.org+1 (cli) (built: May 14 2020 08:28:17) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
    with Zend OPcache v7.2.31-1+ubuntu20.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies