Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Dieses Skript sollte nicht direkt installiert werden. Es handelt sich hier um eine Bibliothek für andere Skripte, welche über folgenden Befehl in den Metadaten eines Skriptes eingebunden wird // @require https://update.greasyfork.org/scripts/10320/79622/Proxer-Userscript-Anker.js
Dieses Userscript fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den andere Userscripte angedockt werden können.
Dieses Script fungiert als Bibliothek und muss in den Kopfbereich eines jeden Scriptes, das darauf aufbaut, eingebaut werden.
