From a34dd23265af5b8e997e0b0177056c5d8d4e48c4 Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Fri, 21 Nov 2008 00:45:43 +0000
Subject: [PATCH] Remove duplicate group rights

---
 includes/User.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/User.php b/includes/User.php
index 898a9f34d1..3ebd7060d6 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -3004,10 +3004,11 @@ class User {
 		foreach( $groups as $group ) {
 			if( isset( $wgGroupPermissions[$group] ) ) {
 				$rights = array_merge( $rights,
+					// array_filter removes empty items
 					array_keys( array_filter( $wgGroupPermissions[$group] ) ) );
 			}
 		}
-		return $rights;
+		return array_unique($rights);
 	}
 	
 	/**
-- 
2.20.1