Diferencia entre revisiones de «Gadgets-definition»
| (No se muestran 3 ediciones intermedias 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