Translations:Manual:$wgRevokePermissions/7/en

This acts the same way as $1, except that if the user is in a group here, the permission will be removed rather than added.