MDN Editor (UI Tweaks)

tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)

Versión del día 01/06/2020. Echa un vistazo a la versión más reciente.

A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.