Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Versione datata
Questo script non dovrebbe essere installato direttamente. È una libreria per altri script da includere con la chiave // @require https://update.greasyfork.org/scripts/10320/55879/Proxer-Userscript-Anker.js
Dieses Userscript fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den andere Userscripte angedockt werden können. Das Skript enthält auch eine Beispielfunktion, die zeigt, wie das Andocken bewerkstelligt werden kann.
Jedes Tool, das auf diesem Userscript aufbaut, sollte in seiner Beschreibung erwähnen, dass dieses Userscript für den Betrieb notwendig ist.