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