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