'priority', array('elgg-menu-hz'))); // elgg tools menu // need to echo this empty view for backward compatibility. echo elgg_view("navigation/topbar_tools");