'priority', array('elgg-menu-hz'))); // elgg tools menu // need to echo this empty view for backward compatibility. echo elgg_view_deprecated("navigation/topbar_tools", array(), "Extend the topbar menus or the page/elements/topbar view directly", 1.8);