Lösung: Firefox 8.0, userChrome.js und Cache von Skripten

Mithrandir

Moin,

es deutet einiges darauf hin, dass (gewisse?) userChrome-Skripte in einem Cache abgelegt werden und somit Änderungen von Skripten nach Neustart des Browsers (Firefox 8.0) nicht sichtbar werden.

Erste Erkenntnisse gab es dazu unter https://www.camp-firefox.de/forum/viewtopi…=763862#p763862

Auf http://forums.mozillazine.org/viewtopic.php?p=11288699#p11288699 (den Beitrag am besten komplett lesen) findet man unter anderem das hier:

Zitat

And there seems to be a bug in the extension. Even when I comment out the script in chrome/userchrome.js , it still does execute. Or when I update it, it does not pick up the new code. I found out an old cached copy of it is executing from startupcache/startupcache.4.little . When I delete the file, the script does update.

Ich kann bisher nicht bestätigen, dass das Löschen von startupCache etwas bringt (und rate erst einmal davon ab). Eine einfach Methode, die Änderung aktiv werden zu lassen:

[Edit]
Ergänzung, damit man hier nicht lange suchen muss:

Methoden, um den Skriptcache zu löschen:

a.) Einsatz von Skripten, die das machen können:
https://github.com/ardiman/userCh…ddrestartbutton
https://github.com/ardiman/userCh…/restartfirefox
https://github.com/ardiman/userCh…rtfirefoxbutton

b.) Firefox mit entsprechendem Parameter starten (Beispiel):
"C:\Programme\Mozilla Firefox\firefox.exe" -purgecaches

c.)
- Skript anpassen
- userChrome.js deaktivieren
- Firefox neu starten
- userChrome.js aktivieren
- Firefox neu starten
[/Edit]

loshombre

Also verdichten sich die Hinweise dahingehend. Nur ist dat so, dass ich persönlich bis vor kurzem, also bis zum Fuchs 7 solches Verhalten nicht beobachten konnte und behaupte mal einfach, ne Menge mit der Erweiterung und Scripten zutun zu haben.
Da die Erweiterung schon seit langem in der aktuellen 1.4 Version ist, sieht das zumindest bis jetzt so für mich aus, dass der neue Fuchs 8 auf einmal irgendwie anders mit der/den genannten Dateien umzugehen zu scheint.

Wir haben mit Kamerad Mithrandir wahrscheinlich noch ein solches Script ausmachen können. Es ist aber ein brand neues und noch in der Testphase. Allerdings ist es ein *js-Script, somit dürfte das mit der Verarbeitung des Fuchses mit XUL wohl nix zutun haben.

2002Andreas

Ich bin ja kein Fachmann, also kann ich nur schreiben was mir hier so aufgefallen ist.
Es muß einen Unterschied zwischen der userCrome.js 1.2 zu 1.4 geben bei der Verarbeitung von Scripten.
In meinem Hauptprofil nutze ich deswegen noch die 1.2 weil ich ein Script habe was in 1.4 nicht richtig funktioniert.
Und zwar dieses:

Code

/*--------------------------------------------------------
    Anzeige erfolgt deutsch und mit führenden
    Nullen bei Datum, Stunden und Minuten
  --------------------------------------------------------*/


 function doDatUhr() {
    var days = ["Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag"];
    var months = ["Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember"];
    window.setTimeout("try{doDatUhr()}catch(ex){}", -80000 );

    var D = new Date();
    var day = days[D.getDay()];
    var month = months[D.getMonth()];
    var year = D.getFullYear();
    var hour = D.getHours();
    var minute = D.getMinutes();
    var second = D.getSeconds();
    var date = day + " der " + (D.getDate() < 10 ? "0" +D.getDate() : D.getDate()) + ". " + month + " " + year;
    var time = (hour < 10 ? "0" +hour : hour) + ":" + (minute < 10 ? "0" +minute : minute) + ":" + (second < 10 ? "0" +second : second);
    // var timestr = " >>>>> " + date + " " + time+ " Uhr  <<<< ";
    var timestr = date + "      " + time+ "";
    var text ="   Firefox 8.0.                      designed by Andreas                                    ";
    document.title = text  + timestr ;
    document.documentElement.setAttribute(text + timestr);
    }
    doDatUhr();


    document.documentElement.setAttribute("titlemodifier", "");
    document.documentElement.setAttribute("titlemenuseparator", "");
    // :::::::: END Anzeige Dokument / WoTag/ Dat / Uhrzeit ::::::::::::::: //

Alles anzeigen

(Ich glaube das war von pcinfarkt mal und ich habe es noch etwas verändert für mich. Dank an dieser Stelle mal dafür)

In der Version 1.2 werden die Leerfelder zwischen Firefox8.0... desigend....und dem Datum angezeigt, in der 1.4 werden irgendwelche Zeichen dafür eingesetzt.
Da ich leider nicht weiß wie man Leerfelder ausser per alt + 0160 erstellt mach ich kein Update auf die 1.4 hier.

Ob das jetzt Einfluß auf das ändern vom besagten Script externalApplications hat kann ich allerdings nicht sagen.
Aber evtl. hilft es euch ja weiter :-??

Spiderman-21

Hallo, zusammen !
@ Mithrandir: Zu Testzwecken habe ich das mal in einem anderen Profil des FF 8.0 (default Theme) gemacht; das hat so geklappt. Das Script funktioniert. :klasse:

Code

Ich kann bisher nicht bestätigen, dass das Löschen von startupCache etwas bringt (und rate erst einmal davon ab). Eine einfach Methode, die Änderung aktiv werden zu lassen:


- Skript anpassen
- userChrome.js deaktivieren
- Firefox neu starten
- userChrome.js aktivieren
- Firefox neu starten

Zur Info an die Fachleute. :klasse:

Mithrandir

Wenn man die Erweiterung ersetzt und anstelle von userChrome das hier nimmt: https://addons.mozilla.org/de/firefox/addon/uc/ entfällt das Cachingproblem.

Allerdings habe ich mit der neuen Erweiterung das Problem, dass ich immer nur eine xul-Datei zum Laufen bringe. Das Einbinden von mehreren xuls klappt hier nicht. [Edit]Ich frage mich, ob ich dazu einen neuen Thread im Erweiterungsbereich anlegen sollte, oder wir das hier diskutieren.[/Edit]

Mithrandir

Übrigens gibt es noch eine Methode, den Cache zurückzusetzen.

Man erweitere die Verknüpfung zum Firefox um den Parameter "purgecaches". Beispiel:

Code

"C:\Programme\Mozilla Firefox\firefox.exe" -purgecaches

Bei der anderen Methode unter http://forums.mozillazine.org/viewtopic.php?p=11154173#p11154173 habe ich noch nicht ganz kapiert, wo ich sie am besten einsetze.
Jedenfalls hat

Code

let XRE = Cc["@mozilla.org/xre/app-info;1"].getService(Ci.nsIXULRuntime);
XRE.invalidateCachesOnRestart();

in der userChrome.js noch nicht geholfen.

Mithrandir

Die zweite Methode

Code

let XRE = Cc["@mozilla.org/xre/app-info;1"].getService(Ci.nsIXULRuntime);
XRE.invalidateCachesOnRestart();

habe ich nun in https://github.com/ardiman/userCh…ddrestartbutton untergebracht. Falls dieses Skript bereits eingebunden war, muss der Cache einmal manuell (s. oben) zurückgesetzt werden. Danach hilft ein Rechts- oder Mittelklick auf "Datei/Neustart".

Für mich ist damit das Problem gelöst.

Boersenfeger

Kann man den Code auch in Restartfirefoxbutton implementieren?

loshombre

Mithrandir,
UC können wir vergessen. Habe es schon seinerzeit mal getestet, eben mit dem gleichen Ergebnis, was die *xul´s anbetrifft.
Also vllt. vorläufig der Hack von alice und dann warten wir mal auf userChrome.js Update.

Mithrandir

Boersenfeger: Das sollte möglich sein - ich hab aber immer etwas Probleme mit den "einzeiligen" Anweisungen, wie sie bei dem Skript/Button hinterlegt sind (ich bin auch nur ein Hobbyprogrammierer, was JavaScript angeht). Kann also etwas dauern, bis ich es hinbekomme.

Mithrandir

Ging doch schneller als erwartet. Restart Firefox Button (Klick mich) kann nun auch per Mittel- oder Rechtsklick den Neustart mit Löschen des Caches ausführen. Der "normale" Linksklick führt nur Neustart ohne Leeren des Caches durch.

loshombre

[Blockierte Grafik: http://www.cheesebuerger.de/images/midi/froehlich/a036.gif]

Mithrandir

@Gevatter: Danke für den Beifall und deine Antwort zur Alternative "uc". Zum userChrome.js-Update: der mozillazine-Thread und die bugreports zu dem Thema lesen sich nicht so, als ob die Entwickler daran etwas ändern wollten.

loshombre

So wie ich dem ganzen als Ahnungsloser folgen kann, scheint es zumindest bis jetzt so zu klingen.
Wenn der chrome.js Schrauber nicht so wirklich auf alice´s Vorschläge reagieren wird (kann ich mir aber auf Dauer ehrlich gesagt nicht so richtig vorstellen), dann wird vllt. alice selber was zu basteln. Dem "wilden" traue ich dat sofort zu

Boersenfeger

:-??
Ich habe hier ein Script, das im Unterordner Chrome als Restart.uc.xul abgelegt ist.

XML

<?xml version="1.0" encoding="UTF-8"?>


<overlay id="restarter-overlay" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" xmlns:html="http://www.w3.org/1999/xhtml">


  <script type="application/x-javascript"><![CDATA[
var restarter =
{
  buttonID : 'restarter-toolbar-button-restart',

  init : function()
  {
    if (!document.getElementById(this.buttonID))
    {
      var navBar  = document.getElementById("nav-bar");
      if(!navBar)
      {
        navBar  = document.getElementById("mail-bar3");
      }

      var curSet  = navBar.currentSet.split(",");
      var index = curSet.length-1;
      var pos = index < 0 ? 0 : index;
      var newSet = curSet.slice(0, pos).concat(this.buttonID).concat(curSet.slice(pos));
      newSet = newSet.join(",");


      navBar.setAttribute("currentset", newSet);
      navBar.currentSet = newSet;
      document.persist(navBar.id, "currentset");
      try
      {
        BrowserToolboxCustomizeDone(true);
      }
      catch (e) {}
    }
  }
};


window.addEventListener("load", function () { restarter.init(); }, false);


]]></script>
  <toolbar id="main-menubar">

    <toolbarbutton id="restarter-toolbar-button-restart" tooltiptext="Neustart" class="toolbarbutton-1" label="" style="list-style-image: url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8%2F9hAAAACXBIWXMAAAsTAAALEwEAmpwYAAAKT2lDQ1BQaG90b3Nob3AgSUNDIHByb2ZpbGUAAHjanVNnVFPpFj333vRCS4iAlEtvUhUIIFJCi4AUkSYqIQkQSoghodkVUcERRUUEG8igiAOOjoCMFVEsDIoK2AfkIaKOg6OIisr74Xuja9a89%2BbN%2FrXXPues852zzwfACAyWSDNRNYAMqUIeEeCDx8TG4eQuQIEKJHAAEAizZCFz%2FSMBAPh%2BPDwrIsAHvgABeNMLCADATZvAMByH%2Fw%2FqQplcAYCEAcB0kThLCIAUAEB6jkKmAEBGAYCdmCZTAKAEAGDLY2LjAFAtAGAnf%2BbTAICd%2BJl7AQBblCEVAaCRACATZYhEAGg7AKzPVopFAFgwABRmS8Q5ANgtADBJV2ZIALC3AMDOEAuyAAgMADBRiIUpAAR7AGDIIyN4AISZABRG8lc88SuuEOcqAAB4mbI8uSQ5RYFbCC1xB1dXLh4ozkkXKxQ2YQJhmkAuwnmZGTKBNA%2Fg88wAAKCRFRHgg%2FP9eM4Ors7ONo62Dl8t6r8G%2FyJiYuP%2B5c%2BrcEAAAOF0ftH%2BLC%2BzGoA7BoBt%2FqIl7gRoXgugdfeLZrIPQLUAoOnaV%2FNw%2BH48PEWhkLnZ2eXk5NhKxEJbYcpXff5nwl%2FAV%2F1s%2BX48%2FPf14L7iJIEyXYFHBPjgwsz0TKUcz5IJhGLc5o9H%2FLcL%2F%2Fwd0yLESWK5WCoU41EScY5EmozzMqUiiUKSKcUl0v9k4t8s%2BwM%2B3zUAsGo%2BAXuRLahdYwP2SycQWHTA4vcAAPK7b8HUKAgDgGiD4c93%2F%2B8%2F%2FUegJQCAZkmScQAAXkQkLlTKsz%2FHCAAARKCBKrBBG%2FTBGCzABhzBBdzBC%2FxgNoRCJMTCQhBCCmSAHHJgKayCQiiGzbAdKmAv1EAdNMBRaIaTcA4uwlW4Dj1wD%2FphCJ7BKLyBCQRByAgTYSHaiAFiilgjjggXmYX4IcFIBBKLJCDJiBRRIkuRNUgxUopUIFVIHfI9cgI5h1xGupE7yAAygvyGvEcxlIGyUT3UDLVDuag3GoRGogvQZHQxmo8WoJvQcrQaPYw2oefQq2gP2o8%2BQ8cwwOgYBzPEbDAuxsNCsTgsCZNjy7EirAyrxhqwVqwDu4n1Y8%2BxdwQSgUXACTYEd0IgYR5BSFhMWE7YSKggHCQ0EdoJNwkDhFHCJyKTqEu0JroR%2BcQYYjIxh1hILCPWEo8TLxB7iEPENyQSiUMyJ7mQAkmxpFTSEtJG0m5SI%2BksqZs0SBojk8naZGuyBzmULCAryIXkneTD5DPkG%2BQh8lsKnWJAcaT4U%2BIoUspqShnlEOU05QZlmDJBVaOaUt2ooVQRNY9aQq2htlKvUYeoEzR1mjnNgxZJS6WtopXTGmgXaPdpr%2Bh0uhHdlR5Ol9BX0svpR%2BiX6AP0dwwNhhWDx4hnKBmbGAcYZxl3GK%2BYTKYZ04sZx1QwNzHrmOeZD5lvVVgqtip8FZHKCpVKlSaVGyovVKmqpqreqgtV81XLVI%2BpXlN9rkZVM1PjqQnUlqtVqp1Q61MbU2epO6iHqmeob1Q%2FpH5Z%2FYkGWcNMw09DpFGgsV%2FjvMYgC2MZs3gsIWsNq4Z1gTXEJrHN2Xx2KruY%2FR27iz2qqaE5QzNKM1ezUvOUZj8H45hx%2BJx0TgnnKKeX836K3hTvKeIpG6Y0TLkxZVxrqpaXllirSKtRq0frvTau7aedpr1Fu1n7gQ5Bx0onXCdHZ4%2FOBZ3nU9lT3acKpxZNPTr1ri6qa6UbobtEd79up%2B6Ynr5egJ5Mb6feeb3n%2Bhx9L%2F1U%2FW36p%2FVHDFgGswwkBtsMzhg8xTVxbzwdL8fb8VFDXcNAQ6VhlWGX4YSRudE8o9VGjUYPjGnGXOMk423GbcajJgYmISZLTepN7ppSTbmmKaY7TDtMx83MzaLN1pk1mz0x1zLnm%2Beb15vft2BaeFostqi2uGVJsuRaplnutrxuhVo5WaVYVVpds0atna0l1rutu6cRp7lOk06rntZnw7Dxtsm2qbcZsOXYBtuutm22fWFnYhdnt8Wuw%2B6TvZN9un2N%2FT0HDYfZDqsdWh1%2Bc7RyFDpWOt6azpzuP33F9JbpL2dYzxDP2DPjthPLKcRpnVOb00dnF2e5c4PziIuJS4LLLpc%2BLpsbxt3IveRKdPVxXeF60vWdm7Obwu2o26%2FuNu5p7ofcn8w0nymeWTNz0MPIQ%2BBR5dE%2FC5%2BVMGvfrH5PQ0%2BBZ7XnIy9jL5FXrdewt6V3qvdh7xc%2B9j5yn%2BM%2B4zw33jLeWV%2FMN8C3yLfLT8Nvnl%2BF30N%2FI%2F9k%2F3r%2F0QCngCUBZwOJgUGBWwL7%2BHp8Ib%2BOPzrbZfay2e1BjKC5QRVBj4KtguXBrSFoyOyQrSH355jOkc5pDoVQfujW0Adh5mGLw34MJ4WHhVeGP45wiFga0TGXNXfR3ENz30T6RJZE3ptnMU85ry1KNSo%2Bqi5qPNo3ujS6P8YuZlnM1VidWElsSxw5LiquNm5svt%2F87fOH4p3iC%2BN7F5gvyF1weaHOwvSFpxapLhIsOpZATIhOOJTwQRAqqBaMJfITdyWOCnnCHcJnIi%2FRNtGI2ENcKh5O8kgqTXqS7JG8NXkkxTOlLOW5hCepkLxMDUzdmzqeFpp2IG0yPTq9MYOSkZBxQqohTZO2Z%2Bpn5mZ2y6xlhbL%2BxW6Lty8elQfJa7OQrAVZLQq2QqboVFoo1yoHsmdlV2a%2FzYnKOZarnivN7cyzytuQN5zvn%2F%2FtEsIS4ZK2pYZLVy0dWOa9rGo5sjxxedsK4xUFK4ZWBqw8uIq2Km3VT6vtV5eufr0mek1rgV7ByoLBtQFr6wtVCuWFfevc1%2B1dT1gvWd%2B1YfqGnRs%2BFYmKrhTbF5cVf9go3HjlG4dvyr%2BZ3JS0qavEuWTPZtJm6ebeLZ5bDpaql%2BaXDm4N2dq0Dd9WtO319kXbL5fNKNu7g7ZDuaO%2FPLi8ZafJzs07P1SkVPRU%2BlQ27tLdtWHX%2BG7R7ht7vPY07NXbW7z3%2FT7JvttVAVVN1WbVZftJ%2B7P3P66Jqun4lvttXa1ObXHtxwPSA%2F0HIw6217nU1R3SPVRSj9Yr60cOxx%2B%2B%2Fp3vdy0NNg1VjZzG4iNwRHnk6fcJ3%2FceDTradox7rOEH0x92HWcdL2pCmvKaRptTmvtbYlu6T8w%2B0dbq3nr8R9sfD5w0PFl5SvNUyWna6YLTk2fyz4ydlZ19fi753GDborZ752PO32oPb%2B%2B6EHTh0kX%2Fi%2Bc7vDvOXPK4dPKy2%2BUTV7hXmq86X23qdOo8%2FpPTT8e7nLuarrlca7nuer21e2b36RueN87d9L158Rb%2F1tWeOT3dvfN6b%2FfF9%2FXfFt1%2Bcif9zsu72Xcn7q28T7xf9EDtQdlD3YfVP1v%2B3Njv3H9qwHeg89HcR%2FcGhYPP%2FpH1jw9DBY%2BZj8uGDYbrnjg%2BOTniP3L96fynQ89kzyaeF%2F6i%2FsuuFxYvfvjV69fO0ZjRoZfyl5O%2FbXyl%2FerA6xmv28bCxh6%2ByXgzMV70VvvtwXfcdx3vo98PT%2BR8IH8o%2F2j5sfVT0Kf7kxmTk%2F8EA5jz%2FGMzLdsAAAAEZ0FNQQAAsY58%2B1GTAAAAIGNIUk0AAHolAACAgwAA%2Bf8AAIDpAAB1MAAA6mAAADqYAAAXb5JfxUYAAAN8SURBVHjaVJFNTBxlAIafb2Z29gd2l4VdYCkokAUt1AJplQRTrVqjUWMPPWHSCzb21IOn9qIHY2xMahoTTb00NmkUm5qAjdpUI61VaCxCpCVYixt%2ByvKzCwu7LDs7zMw3HmhM%2Bt6fJ0%2FyCp69wiOzZBCPcqSmIXg0HPHuC4R8nkLWyOXyYiIzfuVHzMIA%2BZsLtH18EApntUdhpzUSD5577nDLi%2FGWKjx%2BHVfR8HpFwNwsxTMzza%2BOXJ1%2B58Ev2sVEV%2ByEawXqxf8FllNWEQ9ePXzsqQOecIDU8jampSAVD76Al2BIIx4Dv2Nz7%2FYq%2B5%2BP8sNXE6WdAhdQlOM9rzUdaGiN8M9UjnKvQjzuA0UjV3AxDIcHywqRoEbXoVrKgyBtKXYEUvprmiN9oaoyvr9wl62NHJbtJeDzOo17YmprVzWOppLO2RRNwf1FSOzSUAXsCIR4QdP13UPfjhUde2mjuBXUjcXNEabOnJmq7Y4Nd7z1fu%2BJ%2FR2Jpgrm0jauAI8GlnSlBi4I0bO6sLBWHc9esxRdmjOZf5n%2B5CLWzCzOvsbKupBZ1xgmElUoC%2BgoKtRGQfNomoaND8P8XS%2Bby1olO7O6GHTl1DejGDOrNB%2BvpO7I%2Ba31%2FDP9Z28YUmqoqhCKcG2EYD6ZMUTojZ8WHmsqD%2BI6wnWFajugCkuuZaV%2FZS47wp99R7E3LbxPV6rtr7dV1pmyuBWs3hr7dZ380LC2tzseffvUHm86C1JC2A%2FrGcn509cn%2BPvTk9ibc1R06qL91Ms1CadF000ll9rVS2VykLzVr0lHOgtpuJ9yUFyXxqhKZjbH2nJRI9IZwyw2kXjvXV%2FIOWgaBcc2a%2BtjdVXR1J3iBDx8QUpQUJAuJJclseogxz441H5vrPO72cm0VSyVPJq27ZaHm8ST3Y0M9d9Kkr19A1A1x4VIObTGBfNrsJ5XmE9b6KqgvrOGhr1Vns2sgeNIkXiigvHf1liZuHWZYjINSEXRVLewZjN6bYmYbvN4rcDvVzFKLnOpErMLBpvbklClznyyyPDA6DjTX3wJWICr%2Bnb3ffjXSGpl5Nxnn88uh2ORUCBaHfVQU%2BsjVuGhKqJT5lFYShr8fGH4j42bH53EnJ4EtgEEPQOTzHx9mqXLl9AT9TS82RvreOmVcMTXVh4JhIr5kp3LFu6u3Lk%2ByMylQazU3ENYAvw3AFUTimFqj5i7AAAAAElFTkSuQmCC');" oncommand="var boot=Components.classes['@mozilla.org/toolkit/app-startup;1'].getService(Components.interfaces.nsIAppStartup); boot.quit(Components.interfaces.nsIAppStartup.eForceQuit|Components.interfaces.nsIAppStartup.eRestart);" />

  </toolbar>


</overlay>

Alles anzeigen

Dies erzeugt bei mir [attachment=0]20-11-2011_124618.png[/attachment] diesen Button. Damit starte ich Firefox per Linksklick neu.
Welches Script das jetzt ist und wieso ich das umbenannt habe, keine Ahnung. :oops:
Kann man die Cache-Geschichte da reinkriegen...?

Mithrandir

Hast du meinen gestrigen Beitrag von 20:46:47 Uhr überlesen? Die neue Version von Restart Firefox Button (Klick mich) auf GitHub kann das jetzt auch.

Boersenfeger

Nee, habe ich nicht. Der Code ist aber nicht der von dem Teil, das ich anscheinend installiert hab...

Mithrandir

Die Skripte unterscheiden sich natürlich, weil ich deinen Wunsch gestern umgesetzt habe (der Code, den du auf der 1. Seite gepostest hast ist der von der ursprünglichen Version)... Probiere es doch einfach mal aus bzw. kopiere und teste:

https://raw.github.com/ardiman/userCh…oxButton.uc.xul

In der neuen Version wird

Code

onclick="restarter.restart(event);

dem Button zugewiesen.

Die restart-Funktion berücksichtigt dann Mittel- und Rectsklick (Cache löschen), danach findet auf jeden Fall (Linksklick, Mittel- und Rechtsklick) ein Neustart statt

Code

restart : function (e)
  {
    if (e.button!=0) {
      let xRE = Cc["@mozilla.org/xre/app-info;1"].getService(Ci.nsIXULRuntime);
      xRE.invalidateCachesOnRestart();
    }
    var boot=Components.classes['@mozilla.org/toolkit/app-startup;1'].getService(Components.interfaces.nsIAppStartup);
    boot.quit(Components.interfaces.nsIAppStartup.eForceQuit|Components.interfaces.nsIAppStartup.eRestart);
  }

BTW: ich habe hier zwei aktualisierte Skripte verlinkt. Einmal ist es das mit dem Menüeintrag, das andere ist das mit dem Button (also "deins").

Boersenfeger

Ich habe den Fehler gefunden. Wenn ich von GitHub ein Script per Rechtsklick herunterlade, habe ich falschen Code drin. Offensichtlich wird die Datei als .htm gespeichert, obwohl ich im Download-Dialog "alle Dateien" anklicke. Dadurch ist der Code natürlich gaga. Nach kopieren und einfügen funktionieren nun beide Scripte wie gewünscht. An dieser Stelle nochmal ein DANKE an dich und an den dunklen Herrscher...

Mithrandir

Fürs Runterladen gibt es die "Raw"-Schaltfläche. S. z.B. https://www.camp-firefox.de/forum/viewtopi…=759875#p759875