Я просто пошел дальше и добавил PHP7 к своему серверу, следуя инструкциям, используя PPA ondej. Теперь я хочу удалить старый php, так что, очевидно, я сделал, sudo apt-get remove --purge php5и казалось, что все прошло хорошо, за исключением того, что он не удален. Если я делаю, php -vя получаю...