ОБНОВЛЕНИЕ Я только что прочитал, что extensions.ini
вообще не важен и генерируется автоматически. Так что, думаю, я здесь не прав, учитывая также ключ [HKEY_LOCAL_MACHINE\SOFTWARE\MozillaPlugins]
как упомянуто @routeNpingme. Я удалю это позже сегодня; просто оставив это здесь, чтобы другие не тратили свое время на то же самое.
Учитывая тот факт, что Firefox позволяет использовать разные профили, каждый со своими собственными расширениями, я никогда не думал, что он также будет использовать реестр. (Firefox, будучи кроссплатформенным, заставляет меня даже задуматься об этом, тем более что Firefox уже имеет свой собственный кроссплатформенный механизм хранения настроек.)
Поэтому, если вы не уверены, что он находится в реестре, вы можете заглянуть в Файлы и папки в профиле, особенно extensions.ini
.
ОБНОВИТЬ
extensions.ini
Списки папок установленных расширений и тем. Файл автоматически генерируется nsExtensionManager и используется низкоуровневым кодом для обнаружения пакетов chrome и компонентов XPCOM, предоставляемых установленными надстройками. Можно удалить, чтобы решить различные проблемы.
(См. Аргументы командной строки, чтобы запустить Firefox с другим профилем.)