Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
当前为 2015-06-08 提交的版本，查看 最新版本。
The following scripts use this library's Greasy Fork URL in a @require:
@require
