Gadgets-definition

Patrolling

• RecentNonAudio [ResourceLoader|dependencies=oojs-ui,mediawiki.api,mediawiki.util] | RecentNonAudio.js

Administrator tools

• LinguaImporter [ResourceLoader|dependencies=oojs-ui,mediawiki.api|rights=delete] | LinguaImporter.js