ID: 3984 Title: Permissions can now be filtered by providing a search term on the "edit role" page Component: WATO Level: 1 Class: New Feature Version: 1.4.0i3 The search is, just like the other quick search functionalities in WATO, a case insensitive infix search.