Si je résume l'état des choses :
Les "extensions" actuelles sont des plugins :
1* chargés automatiquement,
2* actifs dès l'install du site,
3* qui ne sont désactivables que si on a accès aux fichiers.
4 Pour les distinguer des autres plugins, ces plugins sont dans le
répertoire extensions/
5 Ils sont livrés dans la distribution de SPIP dans un répertoire extensions/
6 Ils sont développés sur la zone.
Chacun de ces 6 points a ses raisons et ses avantages ; un gros
inconvénient est qu'il est malaisé de jouer avec les configurations
sans déplacer des tas de fichiers (7), et sur le plan théorique, qu'il
y a une sorte d'incohérence à rechercher tel contenu à tel emplacement
en fonction d'une donnée concernant son chargement automatique ou pas
(8).
Au final je trouve ça plutôt perturbant et je propose qu'on parte sur
une autre piste ; il s'agirait de définir dans inc_version.php un
tableau des plugins à charger en extensions.
$extensions = array ('compresseur', 'filtres_images', ...);
Lors de la création du chemin des plugins, on regarderait si ces
plugins sont présents dans le répertoire plugins/ ou un de ses
sous-répertoires, et on les activerait automatiquement. On
retrouverait donc 1, 2, 3, et on gagnerait 7 et 8, puisqu'il suffirait
d'indiquer par exemple, dans config/mes_options.php, quelque chose
comme :
$extensions[] = 'crayons';
ou encore
$extensions = array(); # SPIP, ton core !
Le point 4 peut se retrouver, pour qui le souhaite, en rangeant les
dites extensions dans plugins/extensions/
Le point 5, je ne suis pas certain, mais on peut probablement pour le
zip fourni à télécharger, livrer un répertoire plugins/ déjà peuplé.
Par contre en SVN à chacun de se débrouiller pour faire un checkout de
ce qu'il faut dans plugins/ ou plugins/extensions/ (ça réglerait aussi
une des difficultés dans le futur passage à git).
6 ne pose pas de problème.
à vous les studios
-- Fil