[checkmk-commits] Check_MK Git: check_mk: Interface groups: changed input field of interface port type to dropdown choice