Je crois me souvenir qu'à l'époque j'avais fait ça pour deux raisons (peut-être pas valables aujourd'hui) :
1. avoir toutes les infos sous la main en une fois, pour gagner en code et rapidité pour l'affichage 2. conserver la "mémoire" des favoris si on désactivait temporairement l'un des plugins pointés par eux (voire suppression d'un plugin et réinstallation ultérieure, le favori restant enregistré mais non affiché entre temps). Je crois (à vérifier) que ce que je mets dans les user-prefs n'est qu'une copie sérialisée de ce qu'il y a dans le $_fav De plus, je ne pensais pas au moment de commencer leur développement alors me limiter aux seuls points d'entrée des plugins et permettre à peu près n'importe quoi la-dedans, éventuellement même des liens externes. Vu l'usage actuel, on peut surement optimiser. En ce qui concerne le nom, vu qu'on ne stocke qu'une URL, on risque d'avoir du mal à positionner ça dynamiquement, mais je peux me tromper. À discuter… Le 27 septembre 2013 08:20, Bruno <[email protected]> a écrit : > Hello, > > Je débarque sûrement très tard après la bataille, mais je viens de > constater que les favoris utilisateurs étaient stockés dans les settings > avec beaucoup d'informations (nom, titre, url, permissions, icone, ...). Il > y a une raison particulière à cela ? D'un côté, le core et les plugins > définissent déjà cela dans $_fav, est-ce nécessaire de dupliquer > l'information aussi dans les préférences utilisateur ? > > J'y vois comme inconvénient que si un jour on modifie la description d'un > favori, les utilisateurs qui ont déjà sélectionné ce favori n'en verront > pas les changement sur leur dashboard. > -- > Dev mailing list - [email protected] - > http://ml.dotclear.org/listinfo/dev > -- Franck -- Dev mailing list - [email protected] - http://ml.dotclear.org/listinfo/dev
