tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
נכון ליום 01-06-2020. ראה הגרסה האחרונה.
יש גרסאות של סקריפט זה עם קוד מעודכן. הצג את כל הגרסאות
