Diferencia entre revisiones de «Gadgets-definition»
| (No se muestra una edición intermedia del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
* wikEd|wikEd.js | * wikEd|wikEd.js | ||
| − | |||
Revisión actual del 15:51 5 may 2020
- Edittools[ResourceLoader|default]|Edittools.js
- wikEd|wikEd.js