*Don't let blocked users patrol

diff --git a/includes/Article.php b/includes/Article.php
index 756a763..bcb3c62 100644 (file)
--- 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' );