Hallo Andreas,
Vermutlich dasselbe Problem wie hier: http://bugzilla.mozilla.org/show_bug.cgi?id=233638
Hmmm...
| Files in defaults/pref/* are parsed in reverse
alphabetical order
d.h. er parsed alle *.js Dateien dort? Oh... Ich hatte nämlich von der all.js noch ein Backup - vielleicht ging es deswegen nicht...
Viele Grüße,
Christian