Non, je corrige Francky !
SPIP 3.2 fonctionne déjà avec 7.2 ; et probablement SPIP 3.1 également.
Cependant, si les erreurs PHP sont affichées, il y aura de nombreux logs "DEPRECATED". Qu’il est possible d’enlever par exemple en mettant dans mes_options :
# Cacher les Deprecated de PHP 7.2 avec SPIP 3.2
define('SPIP_ERREUR_REPORT', E_ALL^E_DEPRECATED);
# ou Cacher les notices et deprecated en SPIP 3.1
define('SPIP_ERREUR_REPORT', E_ALL^E_NOTICE^E_DEPRECATED);
# ou Cacher toutes les erreurs (c’est le mieux en prod — et normalement par défaut chez les hébergeurs)
ini_set("display_errors", "Off");
Par contre, en 3.3-dev, ces problèmes de déprécations ont été corrigées ; encore faut il qu’on sorte cette version un jour, mais ce n’est pas encore prévu pour l’instant.
