[INFO] PHP7 et XML

Salut,

Je suppose que c'est déjà connu de la plupart d'entre vous ici mais au
cas où : je viens de refaire une install de mon Ubuntu perso et mon
spip ne marchait plus.

J'ai donc découvert en farfouillant dans les logs d'erreur que le
module php-xml n'est pas installé par défaut avec PHP7 dans une
nouvelle install.

Je ne sais pas trop où le documenter etc., mais si ça peut servir à
quelqu'un qu'on le documente quelque part, dites-moi où si vous le
voulez et je m'y colle.

Des noisettes en sucre
stef