[checkmk-commits] Check_MK Git: check_mk: Implemented new option in WATO attributes: editable