[checkmk-commits] [tribe29/checkmk] f5e738: permission system: rename may to has_permission