Obwohl, ich vermute, man braucht es nicht mehr?
Was soll das Script denn machen? Google findet nicht einen einzigen Treffer unter dem von dir angegebenen Namen.
Scripts, welche Funktionen von Firefox überschreiben, sind immer höchst problematisch, weil sich andauernd was an den Original-Funktionen ändern kann und man das eigentlich alle vier Wochen überprüfen müsste. Das Script entspricht so auch schon an mehreren Stellen nicht mehr dem Original-Code…