☰

MDN Editor (UI Tweaks)

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

Ekde 2020/05/04. Vidu La ĝisdata versio.

Aŭtoro
almaceleste
Ratings
0 0 0
Versio
0.2.1
Kreita
2020/05/04
Ĝisdatigita
2020/05/04
Size
1,64 kb
Licenco
AGPL-3.0-or-later
Aplikiĝas al