Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Versión del día 11/10/2015. Echa un vistazo a la versión más reciente.
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
