spip/medias
Par placido, le 13 novembre 2025 à 10h53min :
fix(mediatheque-navigation) : la liste d’onglets pour filtrer selon medias utilise la table spip_documents_types
cherry-picked from ead040aa373e9a58cd346727f8dd59a98c86ddbe
Modifié
prive/squelettes/inclure/mediatheque-navigation.html
prive/squelettes/inclure/mediatheque-navigation_fonctions.php
prive/style_prive_plugin_medias.html