Plugin-dist [medias] : optimisation requête dans fonction liste_extensions_utilisees()

Dev
1

Bonjour,

Plugin-dist : medias
Fichier : prive/squelettes/inclure/mediatheque-navigation_fonctions.php
Fonction : liste_extensions_utilisees()

Ligne 18 :
sql_allfetsel('extension', 'spip_documents', 'media=' . sql_quote($media)),

Optimisation de la requête : pas utile d’avoir X fois la même extension, de toute façon le IN de la boucle n’en tient pas compte.
Proposition :
sql_allfetsel('DISTINCT extension', 'spip_documents', 'media=' . sql_quote($media)),

Nota : je ne peut pas récupérer mon accès à git.spip.net, je ne reçois pas le courriel de changement de mot de passe.

2

Si tu es Eric Camus de l’AC Poitiers, je viens de réactiver ton compte.