Follow-up r90408: use $user->useRCPatrol()

diff --git a/includes/Preferences.php b/includes/Preferences.php
index 8e30508..5df8b54 100644 (file)
--- a/includes/Preferences.php
+++ b/includes/Preferences.php
@@ -818,7 +818,7 @@ class Preferences {
                        'section' => 'rc/advancedrc',
                );
 
-               if ( $wgUseRCPatrol && $user->isAllowed( 'patrol' ) ) {
+               if ( $user->useRCPatrol() ) {
                        $defaultPreferences['hidepatrolled'] = array(
                                'type' => 'toggle',
                                'section' => 'rc/advancedrc',