Dans le même style, je pense qu'il serait utile dans des pages
comme
"Extensions" de pouvoir différencier distinctement ce qui est du
"core" d'un
plugin additionnel ; ou bien encore about:config. Que ça soit une séparation
franche textuellement ou/et d'un filtre.
Bonne idée. Ca me paraît pas trop compliqué à mettre en oeuvre, en plus :)
Concernant ta question corolaire, n'est-ce pas déjà évoqué dans
une
précédente discussion où on souhaitait éviter d'avoir 3 endroits différents
(Paramètres du blog, about:config, page admin du plugin) où avoir un réglage
du plugin ?
Je souhaite juste relancer le sujet. C'est une question importante,
et
l'harmonisation me paraît cruciale si on veut avoir quelque chose de
cohérent.
A noter qu'il y a au moins 2 domaines où on veut pouvoir configurer un plugin :
* la configuration du plugin dans un contexte global (indépendamment d'un blog)
* la configuration du plugin pour un blog donné
Il me semble justifié d'isoler ces 2 configurations, dans la mesure où
les droits nécessaires pour l'un ou l'autre sont différents.
--
Bruno