Ich versuche also, von 7.1.1 auf 7.1.17 zu aktualisieren. Ich habe Folgendes ausgeführt:
sudo apt-get install php7.1
und bekam 7.1.17-1+ubuntu16.04.1+deb.sury.org+1aber wenn ich laufe
php -v
im Terminal bekomme ich PHP 7.1.1-1+deb.sury.org. Ich verwende Digital Ocean, konfiguriert mit Nginx. Ich habe den Server neu gestartet und Nginx neu gestartet, aber ohne Erfolg.
Antwort1
Ok, ich bin gelaufen:
sudo apt-get install php7.1 php7.1-common
Es ist jetzt auf die neueste Version aktualisiert.