PHP 7.1 no está disponible a través de los repositorios Debian predeterminados, por lo que agregaremos el repositorio "packages.sury.org/php", actualizaremos el sistema e instalaremos los paquetes PHP 7.1.
sudo apt-get install apt-transport-https
sudo wget -O /etc/apt/trusted.gpg.d/php.gpg https: