MediaWiki:Gadget-AjaxPatrolLinks

AjaxPatrolLinks: Makes "mark pages as patrolled" work without reloading the page.