tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
Dette er alle versjonene av dette scriptet. Vis kun versjoner hvor koden er endret.
