fix : erreur PHP quand visiteur_session n'est pas définie (plugins-dist ou spip-cli) (!242) · Requêtes de fusion · spip-contrib-extensions / formidable