Gadgets-definition
Revisión del 15:34 5 may 2020 de Vaqalado (Discusión | contribuciones)
- Edittools[ResourceLoader|default]|Edittools.js
- wikEd|wikEd.js
- Carousel[ResourceLoader|default|type=general|dependencies=mediawiki.util]|Carousel.js|Carousel.css