Das war auch meine Idee, aber nach dem Ausführen von php -v kommt eigentlich das hier
root@SE78J4H32IL:/home/kolowiczm# php -v
PHP 7.3.29-1+ubuntu20.04.1+deb.sury.org+1 (cli) (built: Jul 1 2021 16:08:24) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.3.29, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.3.29-1+ubuntu20.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies
Auf dem Rechner scheint aber noch das 7.2 drauf zu sein, weil ich ein weiteres Verzeichnis habe
root@SE78J4H32IL:/# cd /etc/php/
root@SE78J4H32IL:/etc/php# ls -ls
total 8
4 drwxr-xr-x 5 root root 4096 Aug 28 2020 7.2
4 drwxr-xr-x 5 root root 4096 Jul 30 15:48 7.3
Wie kann ich die php7.3 "reparieren"?
root@SE78J4H32IL:/home/kolowiczm# php -v
PHP 7.3.29-1+ubuntu20.04.1+deb.sury.org+1 (cli) (built: Jul 1 2021 16:08:24) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.3.29, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.3.29-1+ubuntu20.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies
Auf dem Rechner scheint aber noch das 7.2 drauf zu sein, weil ich ein weiteres Verzeichnis habe
root@SE78J4H32IL:/# cd /etc/php/
root@SE78J4H32IL:/etc/php# ls -ls
total 8
4 drwxr-xr-x 5 root root 4096 Aug 28 2020 7.2
4 drwxr-xr-x 5 root root 4096 Jul 30 15:48 7.3
Wie kann ich die php7.3 "reparieren"?