Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
目前为 2015-06-08 提交的版本，查看 最新版本。
这些是代码更新过的版本 显示所有版本
