From 073ee5dea85ebd14721c458403871927f220afde Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Tue, 4 Sep 2007 00:38:54 +0000
Subject: [PATCH] *Allow for some non-patrollers to see which edits were
 patrolled

---
 includes/ChangesList.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/ChangesList.php b/includes/ChangesList.php
index bf41ae02cc..8d0f95086f 100644
--- a/includes/ChangesList.php
+++ b/includes/ChangesList.php
@@ -205,7 +205,7 @@ class ChangesList {
 	 */
 	function usePatrol() {
 		global $wgUseRCPatrol, $wgUser;
-		return( $wgUseRCPatrol && $wgUser->isAllowed( 'patrol' ) );
+		return( $wgUseRCPatrol && ($wgUser->isAllowed('patrol') || $wgUser->isAllowed('patrolmarks')) );
 	}
 
 	/**
-- 
2.20.1