Adjusted function context_header_settings_menu() in core_renderer.php due to upstream changes in theme Boost.
