tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
