Update for r38533 -- avoid notice spew from groups that have no record for the perm

diff --git a/includes/User.php b/includes/User.php
index b2791b9..2d1238d 100644 (file)
--- a/includes/User.php
+++ b/includes/User.php
@@ -2778,7 +2778,7 @@ class User {
                global $wgGroupPermissions;
                $allowedGroups = array();
                foreach ( $wgGroupPermissions as $group => $rights ) {
-                       if ( $rights[$role] === true ) {
+                       if ( isset( $rights[$role] ) && $rights[$role] ) {
                                $allowedGroups[] = $group;
                        }
                }