Möglicherweise wegen diesem Befehl document.getElementById('menu_devToolbox').click()
Die ID menu_devToolbox stammt aus dem Extras-Menü, und das wird von dem anderen Skript "geklaut" und funktioniert deshalb vielleicht nicht mehr. Wir bräuchten also statt dem click auf einen Menüeintrag den zugrunde liegenden Befehl. Das ist mir bis heute leider ein Rätsel, wie ich sowas finden kann. milupo kannst du da weiterhelfen?
Edit: Lösung im nächsten Beitrag.