Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Tästä skriptistä on versioita, joissa koodia päivitettiin. Näytä kaikki versiot.
