Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Ce script ne devrait pas être installé directement. C'est une librairie créée pour d'autres scripts. Elle doit être inclus avec la commande // @require https://update.greatest.deepsurf.us/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.
