Suivre

Dans le cadre de mon emploi, je cherche de la doc sur l'utilisation de pref.js et user.js pour paramétrer . En particulier, quand utiliser l'un et pas l'autre et lequel a la priorité sur l'autre.

Info trouvée grâce à des échanges sur IRC et des test sur mon poste :
En fait le user.js est prioritaire si les données présentes dans les deux sont contradictoires. Mais si elles sont complémentaires, ben le user.js complète le about:config au démarrage ce qui complète le pref.js à la fermeture.

Afficher le fil de discussion
Inscrivez-vous pour prendre part à la conversation
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !