From 8582fd21367fd7cc8d83ad1927f582e21a8b567d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Mat=C4=9Bj=20Grabovsk=C3=BD?= Date: Sat, 25 Jun 2011 10:04:14 +0000 Subject: [PATCH] Follow-up r90408: use $user->useRCPatrol() --- includes/Preferences.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/Preferences.php b/includes/Preferences.php index 8e305083ef..5df8b54935 100644 --- 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', -- 2.20.1