MediaWiki:Gadgets-definition: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 20:
* section[ResourceLoader|dependencies=ext.wikiEditor|default]|section.js
* pulsante-trattino[ResourceLoader|dependencies=ext.wikiEditor|default]|pulsante-trattino.js
* pulsanti-diacritici[ResourceLoader|type=general|dependencies=ext.wikiEditor|jquery.ui.draggable|default]|pulsanti-diacritici.js|pulsanti-diacritici.css
* removeNewline[ResourceLoader|dependencies=ext.wikiEditor|default]|removeNewline.js
* pulsanti-FI[ResourceLoader|dependencies=ext.wikiEditor|default]|pulsanti-FI.js