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.

Inscrivez-vous pour prendre part à la conversation
Framapiaf

Mastodon est un réseau social utilisant des protocoles Web ouverts et des logiciels libres. Tout comme le courriel, il est décentralisé.