MediaWiki:Gadgets-definition

AdvancedUsers

 * Mark as patrolled[ResourceLoader|dependencies=mediawiki.api|rights=patrol]|Mark_as_patrolled.js