Remove duplicate group rights

diff --git a/includes/User.php b/includes/User.php
index 898a9f3..3ebd706 100644 (file)
--- 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);
        }
        
        /**