
Então, estou tentando atualizar de 7.1.1 para 7.1.17. Eu corri:
sudo apt-get install php7.1
e tenho 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
. Estou usando o digital ocean configurado com nginx. Reiniciei o servidor e reiniciei o nginx, mas sem sorte.
Responder1
Ok, eu corri:
sudo apt-get install php7.1 php7.1-common
Agora está atualizado para a versão mais recente.