s'assurer dans d'avoir l'extension php xml

En local j'avais php7.3-xml, ce qui faisait que spip marchait bien sur mon serveur apache, qui était configuré pour php 7.3

Par contre spip-cli utilise le php "genérique".

Du coup en tapant spip pour avoir la listes commandes, j'ai recu un beau

PHP Fatal error:  Uncaught Error: Call to undefined function xml_parser_create() in /home/mrouquet/Bureau/titi/ecrire/xml/sax.php:211
Stack trace:

Un simple apt install php-xml a resolu le problème, mais je pense qu'il serait utile de vérifier la présence de l'extension (voir de l'installer automatiquement ???)