Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Version au 08/06/2015. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
