English: Header Mini Menu: if specified, adds horizontal mini-menu to header
Dutch: Header mini-menu: voegt horizontaal mini-menu toe aan header, indien aangegeven