From 8468cb4a70bcd661f79b61d04433b925ce44fdc4 Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Thu, 27 Sep 2007 18:20:06 +0000
Subject: [PATCH] *Don't let blocked users patrol

---
 includes/Article.php | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/includes/Article.php b/includes/Article.php
index 756a763faf..bcb3c62253 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -1525,6 +1525,15 @@ class Article {
 			$wgOut->permissionRequired( 'patrol' );
 			return;
 		}
+		
+		# Check permissions
+		$permission_errors = $this->mTitle->getUserPermissionsErrors( 'delete', $wgUser );
+
+		if (count($permission_errors)>0)
+		{
+			$wgOut->showPermissionsErrorPage( $permission_errors );
+			return;
+		}
 
 		# If we haven't been given an rc_id value, we can't do anything
 		$rcid = $wgRequest->getVal( 'rcid' );
-- 
2.20.1