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