Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
Queste sono tutte le versioni di questo script. Mostra solo le versioni in cui è cambiato il codice
