La mise à niveau vers 18.04 a posé un problème avec l'installation php
J'ai récemment mis à niveau vers 18.04 LTS, mais il me semble qu'une bibliothèque est en panne ou manquante et que son remctl.so est php. Chaque fois que j'exécute la commande php dans la CLI, je reçois cet avertissement.
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php/20160303/remctl.so'
- /usr/lib/php/20160303/remctl.so:
cannot open shared object file: No such file or directory in Unknown on line 0
Mise à jour: J'ai installé PHP comme il y a 3 mois lorsque j'ai installé Ubuntu 17.01 mais dès que j'ai entendu parler de la version 18.04 de LTS, je pensais la mettre à niveau. Et après cela, je commence à recevoir un avertissement sur chaque commande de PHP dans la CLI.
Pour réparer l'installation php endommagée, commencez par supprimer le php installé:
Sudo apt-get --purge remove php*
Sudo apt autoremove
Ensuite, réinstallez le dernier php (7.2 dans Ubuntu 18.04):
Sudo apt-get install php
Si vous souhaitez vous en tenir à PHP 7.1 (comme le suggère 20160303), vous pouvez l'installer à partir du référentiel PHP d'Ondřej Surý:
Sudo add-apt-repository ppa:ondrej/php
Sudo apt update
Sudo apt-get install php-7.1
Sudo apt-get install php7.1
fonctionne bien. Le logiciel que j'utilise pour le codage PHP (Sourceguardian) nécessite (une autre) mise à niveau de pouvoir exécuter PHP 7.2, il me faut donc 7.1