MediaWiki:Gadget-section-Patrolling/en