Rendre facultatif les plugins-dist
Hello :-) Le commit de toutati https://zone.spip.net/trac/spip-zone/changeset/114194/spip-zone m'a fait repenser à ce vieux sujet (2009) https://blog.spip.net/SPIP-Core-tout-change-rien-ne-change.html Jluc avait fait un sujet à ce propos https://contrib.spip.net/plugins-dist-indispensables-ou-non Je me doute que cela représente un boulot de malade... mais ne faudrait'il pas dire au moins dans la F.A.Q. https://www.spip.net/fr_rubrique170.html les plugins-dist qui sont encore obligatoire ?
J'ai fait le choix de "evolution" et non de "documentation" concernant le ticket, car sans ticket personne n'y pense :-D Pour spip 3.3, c'est sans doute un peu tard, mais à chaque sortie majeure, ne serait'il pas possible de rendre au moins "un" plugins-dist optionnel ?
Pour le moment, en spip 3.3 [24240], il y a comme plugins-dist https://zone.spip.net/trac/spip-zone/browser/spip-zone/core/plugins Mais tous ne sont pas obligatoirement installer avec la dist (grenier, ?) Faudrait rayer les plugs qui sont en options
Aide Archiviste Breves Compagnon Compresseur dev dist dump filtre_images forum grenier jquery_ui mediabox medias mots msie_compat organiseur petitions plan porte_plume revisions safehtml sites squelettes_par-rubrique statistique svp textwhell url_etendues vertèbres
Franck