MediaWiki:Gadget-PatrollingEnhancements

Patrolling enhancements – makes it faster and easier to mark edits as patrolled.