*Allow for some non-patrollers to see which edits were patrolled

diff --git a/includes/ChangesList.php b/includes/ChangesList.php
index bf41ae0..8d0f950 100644 (file)
--- 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')) );
        }
 
        /**