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.
But 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.
lousken|6 years ago