MediaWiki:Gadgets-definition
Salti al navigilo
Salti al serĉilo
editing-tools
- TemplatePreloader|TemplatePreloader.js
- HotCat[ResourceLoader]|HotCat.js