| Index: trunk/phase3/includes/Preferences.php |
| — | — | @@ -818,7 +818,7 @@ |
| 819 | 819 | 'section' => 'rc/advancedrc', |
| 820 | 820 | ); |
| 821 | 821 | |
| 822 | | - if ( $wgUseRCPatrol && $user->isAllowed( 'patrol' ) ) { |
| | 822 | + if ( $user->useRCPatrol() ) { |
| 823 | 823 | $defaultPreferences['hidepatrolled'] = array( |
| 824 | 824 | 'type' => 'toggle', |
| 825 | 825 | 'section' => 'rc/advancedrc', |