Werk #3984: Permissions can now be filtered by providing a search term on the "edit role" page

Component	Setup
Title	Permissions can now be filtered by providing a search term on the "edit role" page
Date	Nov 14, 2016
Level	Trivial Change
Class	New Feature
Compatibility	Compatible - no manual interaction needed
Checkmk versions & editions	1.4.0i3 Checkmk Raw (CRE), Checkmk Enterprise (CEE), Checkmk MSP (CME)

The search is, just like the other quick search functionalities in WATO, a case insensitive infix search.

To the list of all Werks