Dieses Script fügt der Proxer-Navigation den Reiter "Tools" hinzu, an den Userscripte angedockt werden können
נכון ליום 11-10-2015. ראה הגרסה האחרונה.
יש גרסאות של סקריפט זה עם קוד מעודכן. הצג את כל הגרסאות
