Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
此脚本不应直接安装。它是供其他脚本使用的外部库，要使用该库请加入元指令 // @require https://update.greasyforks.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.
