Sometimes it can be useful to install a second version of PHP

sudo apt-get install python-software-properties
sudo add-apt-repository ppa:ondrej/php
sudo update
sudo apt-get install php7.1
sudo apt-get install php7.1-fpm