tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
Fra og med 10.05.2020. Se den nyeste version.
Dette er versioner af dette script, hvor koden er blevet opdateret. Vis alle versioner.
