MediaWiki:Gadgets-definition
From GATE
Revision as of 10:38, 15 January 2018 by Lorenzo Mancini (talk | contribs)
- charinsert[ResourceLoader|default]|charinsert.js
- charinsert-core[ResourceLoader|hidden|rights=hidden|dependencies=mediawiki.toolbar,jquery.textSelection,user]|charinsert-core.js|charinsert-core.css
- ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
- HotCat[ResourceLoader]|HotCat.js