UPDATE Ich habe gerade gelesen, dass extensions.ini
das überhaupt nicht wichtig ist und automatisch generiert wird. Ich vermute, dass ich hier falsch [HKEY_LOCAL_MACHINE\SOFTWARE\MozillaPlugins]
liege, auch wenn der Schlüssel von @routeNpingme erwähnt wurde. Ich werde das später heute entfernen; Lassen Sie es einfach hier, um sicherzustellen, dass andere ihre Zeit nicht auf dasselbe verschwenden.
In Anbetracht der Tatsache, dass Firefox die Verwendung verschiedener Profile mit jeweils eigenen Erweiterungen zulässt, hätte ich nie gedacht, dass auch die Registrierung verwendet werden würde. (Da Firefox plattformübergreifend ist, wundert ich mich noch mehr darüber, zumal Firefox bereits über einen eigenen plattformübergreifenden Mechanismus zum Speichern von Einstellungen verfügt.)
Wenn Sie sich also nicht sicher sind, dass es sich in der Registrierung befindet, möchten Sie möglicherweise einen Blick auf die Dateien und Ordner im Profil werfen extensions.ini
.
AKTUALISIEREN
extensions.ini
Listet Ordner mit installierten Erweiterungen und Designs auf. Die Datei wird automatisch von nsExtensionManager generiert und von Low-Level-Code zur Erkennung von Chrome-Paketen und XPCOM-Komponenten verwendet, die von installierten Addons bereitgestellt werden. Kann gelöscht werden, um verschiedene Probleme zu beheben.
(Siehe Befehlszeilenargumente, um Firefox mit einem anderen Profil zu starten.)