tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
