Итак, я пытаюсь обновиться с 7.1.1 до 7.1.17. Я запустил:
sudo apt-get install php7.1
и получил 7.1.17-1+ubuntu16.04.1+deb.sury.org+1, но когда я бегу
php -v
в терминале получаю PHP 7.1.1-1+deb.sury.org. Я использую digital ocean, настроенный с nginx. Я перезапускал сервер и перезапускал nginx, но безуспешно.
решение1
Хорошо, я побежал:
sudo apt-get install php7.1 php7.1-common
Теперь он обновлен до последней версии.