prefs.js
stores customized user preference settings, such as changes made in the options dialogs. user_pref("devtools.browserconsole.filter.csserror", false);
. Apparently, this file should not be modified manually, at least not while Firefox is running. However, settings in this file can be overwritten in the (optional) user.js
file.