MediaWiki:Gadget-AjaxPatrol

Makes the mark as patrolled links work via AJAX, and automatically loads the next diff after patrolling.