Rediriger sur la page de gestion de plugins après mise à jour
Pour finaliser une mise à jour de SPIP, il faut aller sur la page de gestion des plugins ?exec=admin_plugin
afin que la mise à jour des plugins-dist se fasse bien.
Or, une fois finalisée la mise à jour avec spip_loader, on arrive sur l'accueil du privé et il faut se rendre sur la page des plugins.
Est-ce que ça serait une bonne chose être d'arriver directement sur les plugins ou pas ? Ça permettrait de ne pas passer à côté de la màj des plugins-dist et de faciliter la chose quand on le fait à la chaine.