<?php
/**
 * Empty view for backward compatibility.
 *
 * @package Elgg
 * @subpackage Core
 * 
 * @deprecated 1.8 Extend the topbar menus or the page/elements/topbar view directly
 */
elgg_deprecated_notice('navigation/topbar_tools was deprecated. Extend the topbar menus or the page/elements/topbar view directly', 1.8);