From 8171c6250f9f9c577ac8b6d8a418ac4e71e1036d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juan=20Carlos=20Ra=C3=B1a?= <juancarlos@innovasoc.com>
Date: Mon, 2 May 2011 18:20:13 +0200
Subject: [PATCH] Bug #3356 fix tool shortcuts

---
 main/inc/lib/banner.lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/inc/lib/banner.lib.php b/main/inc/lib/banner.lib.php
index e7dc83617a..5265008f1f 100755
--- a/main/inc/lib/banner.lib.php
+++ b/main/inc/lib/banner.lib.php
@@ -602,7 +602,7 @@ function show_header_4($interbreadcrumb, $language_file, $nameTools) {
     echo '<div class="clear"></div>';
     if (api_get_setting('show_toolshortcuts') == 'true') {
         echo '<div id="toolshortcuts">';
-        require_once 'tool_navigation_menu.inc.php';
+        require_once api_get_path(INCLUDE_PATH).'tool_navigation_menu.inc.php';
         show_navigation_tool_shortcuts();
         echo '</div>';
     }