MediaWiki:Gadgets-definition
Page de l’interface de MediaWiki
Autres actions
Interface
- explorer[ResourceLoader|default|hidden|dependencies=ext.categoryTree,ext.categoryTree.styles,mediawiki.api]|explorer.js|explorer.css
- ScriptoriumInfo[ResourceLoader]|ScriptoriumInfo.js|ScriptoriumInfo.css