Bug report #343 - Deux noms de pipeline eronnés dans la documentation technique Porte Plume

Bonjour

Dans la doc technique, il est mentionné des noms de pipeline erronés me semble-t’il:
https://contrib.spip.net/Porte-Plume-documentation-technique#Completer-une-barre-d-outil
il y est écrit:
porte_plume_barre_outils_pre_charger sert à ajouter des boutons à une barre.
porte_plume_barre_outils_charger sert à afficher ou masquer certains boutons

Mais comme le dit quelqu’un en 2016 dans les commentaires
https://contrib.spip.net/Porte-Plume-documentation-technique#comment485720

Ce serait plutôt porte_plume_barre_pre_charger et porte_plume_barre_charger