Alors dans ce cas, tout en restant dans le cadre de spip/* (on parle de maintenance d’un périmètre bien défini, les dépôts git des plugins-dist, sinon, faut déplacer le sujet dans une autre catégorie), je vois pas l’intérêt d’un script, ça vaut vraiment pas le coup : Y a une vingtaine de plugins, je crois que n’importe qui peut faire une PR pour enlever 1 ligne dans un unique fichier pour n’importe lequel de cette vingtaine de dépôts … ça demandera pas des années de débats pour obtenir les approbations nécessaires.
Pour info, je viens une vingtaine de PR pour retirer l’attribut en question dans les paquet.xml des plugins-dist.
je viens de les fusionner. Inutile de faire de report je pense, on a de l’energie à dépenser ailleurs