widget userPermissions

This is the code block that defines the widget for managing user permissions.