Ok, eu corri:
sudo apt-get install php7.1 php7.1-common
Agora está atualizado para a versão mais recente.
Estou tentando atualizar do 7.1.1 para o 7.1.17. Eu corri:
sudo apt-get install php7.1
e obtivemos 7.1.17-1+ubuntu16.04.1+deb.sury.org+1
, mas quando eu corro
php -v
no terminal eu recebo PHP 7.1.1-1+deb.sury.org
. Eu estou usando o oceano digital configurado com nginx. Eu reiniciei o servidor e reiniciei o nginx, mas sem sorte.
Ok, eu corri:
sudo apt-get install php7.1 php7.1-common
Agora está atualizado para a versão mais recente.