[ecrire ↪ issue_85] fix : Nettoyer la meta 'drapeau_edition' quand on (…)

spip/ecrire

Par nicod_, le 28 octobre 2025 à 19h37min :

fix: Nettoyer la meta ‹ drapeau_edition › quand on désinstalle un plugin

Afin d’éviter des erreurs SQL à répétition dans le privé avec le système d’avertissement « en cours d’édition » (des tables ont été supprimées)
On compare les objets disponibles avant suppression des tables aux tables après suppression, pour faire le ménage dans drapeau_edition
On ajoute pour ça un pipeline trig_supprimer_objet_table, utilisable par les plugins pour faire d’autres actions.

Ref #85

Modifié
inc/drapeau_edition.php
inc/pipelines_ecrire.php
paquet.xml
plugins/installer.php

Détails : fix: Nettoyer la meta 'drapeau_edition' quand on désinstalle un plugin (61832a71) · Validations · spip / ecrire · GitLab