Mit jedem grösseren Versionssprung von Firefox geht das Drama mit den Erweiterungen los, die dann nicht mehr funktionieren wollen. Jetzt hat man zwei Möglichkeiten:
- Sie warten man auf ein Update der Erweiterung. Oder
- Sie bearbeiten ein wenig die Erweiterung ansich, selbstverständlich immer auf eigene Gefahr hin.
Nach der kleinen ”Feinarbeit” ist es ja durchaus möglich, dass die inkompatible Erweiterung weiterhin ihren Dienst verrichtet.
Machen wir uns an die Arbeit, Sie müssen dazu im Verzeichnis
~/Benutzername/Library/Application Support/Firefox/Profiles/einige-Ziffern&Zeichen.default/extensions/zickige-Erweiterung/ die Datei
install.rdf in einen Editor öffnen.
Suchen Sie jetzt die Zeilen mit:
<minVersion>0.9</minVersion>
<maxVersion>3.0.0.*</maxVersion>
Und ändern Sie die <maxVersion> nach Ihren Vorstellungen, z.B. in
<minVersion>0.9</minVersion>
<maxVersion>4.0.0.*</maxVersion>
Jetzt heisst es nur noch, das Dokument zu sichern. Und zum Schluss müssen Sie in dem Verzeichnis
~/Benutzername/Library/Application Support/Firefox/Profiles/einige-Ziffern&Zeichen.default/ noch die Datei
extensions.cache entweder löschen (sie wird beim Start von Firefox immer wieder neu angelegt) oder verschieben. Firefox neu starten und mit etwas Glück läuft die widerspenstige Erweiterung mit diesem kleinen Trick.
Eine Garantie für korrektes Funktionieren kann ich natürlich nicht geben, die Benutzung des kleinen Tricks erfolgt, wie gehabt, auf eigene Gefahr hin.