Ticket #4845 : on déclare la branche correspondante dans la liste des plugins-dist de cette distribution.
Ça servira aux outils spip-cli et checkout, et permettra de faire des branches dans les plugins core par version du plugin (et plus par version de SPIP).

Ces plugins seront toujours disponibles à l'activation dans l'interface des plugins.
Vertebres cependant est remplaçable par le plugin Adminer plus complet.

Attention : pour les installations manuelles existantes de SPIP via git ou le script checkout il faut enlever manuellement le dossier plugins-dist/jquery_ui

C’est un fichier un peu transitoire avant un jour un accès avec Composer.