tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.
