Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Aquí están todas las versiones de este script. Mostrar únicamente las versiones en las que hubo cambios de código.
