18 global $wgGroupPermissions, $wgRevokePermissions;
22 foreach ( $wgGroupPermissions
as $permissions ) {
23 $rights = array_merge( $rights, array_keys( $permissions ) );
26 foreach ( $wgRevokePermissions
as $permissions ) {
27 $rights = array_merge( $rights, array_keys( $permissions ) );
30 $rights = array_unique( $rights );
37 $missingRights = array_diff(
45 array_values( $missingRights ),
46 'Additional user rights need to be added to $wgAvailableRights or ' .
47 'via the "UserGetAllRights" hook. See the instructions at: ' .
48 'https://www.mediawiki.org/wiki/Manual:User_rights#Adding_new_rights'