| Index: trunk/extensions/CleanChanges/CleanChanges_body.php |
| — | — | @@ -569,13 +569,4 @@ |
| 570 | 570 | } |
| 571 | 571 | } |
| 572 | 572 | |
| 573 | | - protected static function usePatrol() { |
| 574 | | - global $wgUser, $wgUseRCPatrol; |
| 575 | | - if ( is_callable(array($wgUser,'useRCPatrol')) ) { |
| 576 | | - return $wgUser->useRCPatrol(); |
| 577 | | - } else { |
| 578 | | - return $wgUseRCPatrol && ($wgUser->isAllowed('patrol') || $wgUser->isAllowed('patrolmarks')); |
| 579 | | - } |
| 580 | | - } |
| 581 | | - |
| 582 | 573 | } |