Gadget-patrollink
MediaWiki page
[Admin only]
Hides the "Mark this page as patrolled" button.