spip-contrib-extensions/roles_documents
Par RastaPopoulos, le 18 septembre 2023 à 22h12min :
Un bouton tout au début de la Médiathèque, qui n’apparait QUE si on est webmestre et qu’il reste au moins 1 ancien logo, et qui permet de relancer la fonction de migration du plugin vers les rôles.
Modifié
roles_documents_pipelines.php