Compatibilité SPIP et PHP

Hello,

Juste pour partager une petite expérience d'il y a quelques minutes.
En SADant un IRCien je me suis rendu compte qu'il était en PHP 7.3.9.
Il avait des erreurs PHP (create_function) en affichant la page de config
du Couteau Suisse (on ne rit pas!). Mais son problème était ailleurs car il
n'avait pas les les indicateurs de mise à jour dans la page des plugins de
l'espace privé.

Je lui ai donc demandé de descendre le PHP en 7.2, pas d'amélioration et en
7.1 et là ça a fonctionné. Plus d'erreurs PHP et possibilité de faire les
mises à jour.

Si on prend l'article de sortie de la 3.2 on voit qu'elle est compatible
7.1.
Si on prend l'article https://www.spip.net/fr_article4351.html de
configuration minimale de SPIP 3.2 on voit une compatibilité PHP 7.2
annoncée.

C'est surement vrai sauf que je me demande si on omet pas les plugins-dist
dans cette affirmation car les erreurs PHP concernaient à la fois du spip
core et des plugins dist voire le CS.
Est-on sur de la compatibilité PHP 7.2 du groupe SPIP+plugins-dist ?

Ensuite, si un plugin annonce une compatibilité avec SPIP 3.2 il devrait
aussi être compatible avec PHP 7.2 car sinon ça risque de poser un problème.
Aujourd'hui rien ne permet de vérifier cela sauf à inclure dans le XML
dudit plugin la balise PHP.

++
Eric