[checkmk-commits] Check_MK Git: check_mk: Make page_header configurable in global settings