PHP 7.1 est désormais disponible (cf release log de PHP).

J'avais pour habitude d'utiliser les dépôts de Dotdeb pour installer et mettre à jour PHP en version 7.0 mais ces derniers ne seront pas utilisables pour PHP en version 7.1 malheureusement suite à l'annonce qui a été faite par le mainteneur Guillaume Plessis (le billet en question est disponible sur le site de Dotdeb et plus exactement en suivant ce lien).

Pour installer PHP 7.1 il faut donc opter pour d'autres dépôts et plus précisément ceux de Ondřej Surý.
Plus d'informations sont disponibles sur sont site à l'adresse suivante : https://deb.sury.org.

Passons à la pratique maintenant.

On va, dans un premier temps, ajouter le dépôt et la clef et les pré-requis nécessaires :

apt-get install -y apt-transport-https

echo "deb https://packages.sury.org/php/ jessie main" >> /etc/apt/sources.list

wget https://packages.sury.org/php/apt.gpg

apt-key add apt.gpg

rm apt.gpg

apt-get update

Vous pouvez lister les paquets disponibles via :

apt-cache search php7.1

Et maintenant on peut installer PHP dans sa version 7.1 via (à adapter selon vos besoins bien sûr) :

apt-get -y install php7.1 libapache2-mod-php7.1 php7.1-cli php7.1-curl php7.1-gd php7.1-intl php7.1-mbstring php7.1-mcrypt php7.1-mysql php7.1-sqlite3 php7.1-xml

Et voila :

---