MediaWiki:Gadgets-definition: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 4:
* Edittools[ResourceLoader|default]|Edittools.js
* segnalazioneErrori[ResourceLoader|dependencies=ext.wikiEditor|default]|common.js|segnalazioneErrori.js
* RegexMenuFramework[ResourceLoader|default]|common.js|RegexMenuFramework.js|RegexMenuFramework.css
* pulsanti-centrato[ResourceLoader|dependencies=ext.wikiEditor|default]|pulsanti-centrato.js
* pulsanti-adestra[ResourceLoader|dependencies=ext.wikiEditor|default]|pulsanti-adestra.js