From 62a26e3bab4aa4ed4319c83202d15bb007c11672 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Thu, 19 Mar 2009 11:52:05 +0000
Subject: [PATCH] We have User::isAllowed() for that :)

---
 includes/specials/SpecialExport.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php
index 83d0bbf599..04fd43b366 100644
--- a/includes/specials/SpecialExport.php
+++ b/includes/specials/SpecialExport.php
@@ -175,8 +175,8 @@ class SpecialExport extends SpecialPage {
 	
 	private function userCanOverrideExportDepth() {
 		global $wgUser;   
-		
-		return in_array( 'override-export-depth', $wgUser->getRights());
+
+		return $wgUser->isAllowed( 'override-export-depth' );
 	}
 	
 	/**
-- 
2.20.1