NB: Tutte le modifiche apportate a tale file devono essere fatte con Firefox chiuso 1)2)
[tratto da mozillaitalia.org]
Le stesse modifiche possono essere effettuate direttamente dall'editor di configurazione di Firefox.
La differenza tra usare il file user.js e l'editor di configurazione è che nel primo caso le personalizzazioni si trovano tutte dentro al file, quindi puoi vederle tutte con un click, inoltre se vuoi creare un nuovo profilo mantenendo le personalizzazioni collezionate nel corso del tempo basta copiare il file user.js nel nuovo profilo. Con l'editor di configurazione le modifiche sono più rapide, ma è più difficile recuperarle e non si possono spostare da un profilo ad un altro.