Comment puis-je passer à PHP 7.1 à partir de PHP 7.0 dans Ubuntu 16.04?
Si je fais un php -v
je reçois ce message:
PHP 7.0.8-0ubuntu0.16.04.3 (cli) ( NTS )
Copyright (c) 1997-2016 The PHP Group
Zend Engine v3.0.0, Copyright (c) 1998-2016 Zend Technologies
with Zend OPcache v7.0.8-0ubuntu0.16.04.3, Copyright (c) 1999-2016, by Zend Technologies
Il n'y a pas de PHP 7.1 officiel dans le dépôt Ubuntu 16.04.
Si vous voulez PHP 7.1, il existe une version disponible en ppa: ondrej/php
Vous pouvez l'installer comme ceci:
Sudo add-apt-repository ppa:ondrej/php
Sudo apt-get update
Sudo apt-get remove php7.0
Sudo apt-get install php7.1
(from comments)N'oubliez pas que ce n'est pas un chemin de mise à niveau officiel. Le PPA est bien connu et son utilisation est relativement sûre.
Le PPA contient des packages co-installables (vous pouvez avoir plusieurs versions de PHP installées à partir de ce PPA). ~ mur