[checkmk-commits] [tribe29/checkmk] 16fa30: Page menu dropdowns can now be enabled / disabled