Alles anzeigenGibt es nicht mehr.
Gibt es nicht mehr.
Das ist Standard.
Gibt es nicht mehr.
Gibt es nicht mehr und ist ohnehin Standard.
Ungültiger Inhalt, Syntax-Fehler.
[…]
Auch hier gibt es die eine oder andere Einstellung überhaupt nicht mehr.
Gibt es nicht mehr und hätte genauso wenig etwas mit Sicherheit zu tun gehabt.
Das zeigt übrigens durchaus ein Problem mit der user.js. Ich habe auch schon einige Einträge einige Zeit lang mitgeschleppt, bis ich bemerkte, dass sie nicht mehr existieren oder eine Einstellung inzwischen Standard ist, wobei man sie dann ja, eventuell auskommentiert, trotzdem stehenlassen könnte. Oft bekomme ich das nur per Zufall mit wie eben hier:
Ach, schau an.
Wie genau meint Ihr das?
Zum Thema eigene Dokumentation: Der für mich ursprüngliche Hintergrund dafür ist übrigens, dass man in die prefs.js keine Kommentare einfügen kann. Abgesehen davon, dass sie bei laufendem Firefox sowieso nicht bearbeitet werden sollte, werden diese auch dann entfernt, wenn man sie bei geschlossenem Firefox bearbeitet – bzw. so war es, als ich das vor ziemlich langer Zeit einmal ausprobierte (mit Sicherungskopie).