7 ms·
I think it’s just pref/user_pref and such. Despite the name it is not a js file and is not parsed like one. I think the file extension is entirely vestigial.
by yoklov 7y ago
I think it’s just pref/user_pref and such. Despite the name it is not a js file and is not parsed like one. I think the file extension is entirely vestigial.
- lousken 7y agoBut still, there's no complete list of these and only some of them are properly documented. I've tried to look up some prefs about half a year ago and couldn't find it anywhere. There's just a wiki that mentions some of them and on various blogs you can find a mention of what something does here and there, but that's about it.