| Index: trunk/phase3/includes/Article.php |
| — | — | @@ -1525,7 +1525,16 @@ |
| 1526 | 1526 | $wgOut->permissionRequired( 'patrol' ); |
| 1527 | 1527 | return; |
| 1528 | 1528 | } |
| | 1529 | + |
| | 1530 | + # Check permissions |
| | 1531 | + $permission_errors = $this->mTitle->getUserPermissionsErrors( 'delete', $wgUser ); |
| 1529 | 1532 | |
| | 1533 | + if (count($permission_errors)>0) |
| | 1534 | + { |
| | 1535 | + $wgOut->showPermissionsErrorPage( $permission_errors ); |
| | 1536 | + return; |
| | 1537 | + } |
| | 1538 | + |
| 1530 | 1539 | # If we haven't been given an rc_id value, we can't do anything |
| 1531 | 1540 | $rcid = $wgRequest->getVal( 'rcid' ); |
| 1532 | 1541 | if( !$rcid ) { |