tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
Pada tanggal 01 Juni 2020. Lihat %(latest_version_link).
Ini adalah versi dari skrip ini yang kodenya telah diperbarui. Tampilkan semua versi.
