Check_MK Werk 1693: Added search form to global settings page

ID: 1693 Title: Added search form to global settings page Component: WATO Level: 1 Class: New Feature Version: 1.2.5i7 It is not always easy to find a global setting in the number of foldable containers which all can be folded by default. To find a setting one might have to open multiple of the containers to get to the requested option. This search form should make it easier to find a needed option.