Файл конфигурации определяемый пользователем. Значения из этого файлы будут переписаны в файл pref.js при запуске Mozilla Firefox . Главное отличие файла user.js от pref.js в том, что Mozilla Firefox не может изменять значения задаваемые в user.js - это может сделать только пользователь. Этот файл не существует по умолчанию, вы должны создать его вручную. Для работы с ним можно также можно использовать расширение Chromedit