MediaWiki:Gadgets-definition: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 5: Line 5:
*wikEd[ResourceLoader|dependencies=jquery.textSelection,user.options]|wikEd.js
*wikEd[ResourceLoader|dependencies=jquery.textSelection,user.options]|wikEd.js
*extra-toolbar-buttons[ResourceLoader|default]|extra-toolbar-buttons.js
*extra-toolbar-buttons[ResourceLoader|default]|extra-toolbar-buttons.js
*extra-toolbar-buttons-core[ResourceLoader|hidden]|extra-toolbar-buttons-core.js