From c149cd90041faff68b63856f2b452386ce998d48 Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Fri, 2 Mar 2012 18:22:59 +0100
Subject: [PATCH] Minor removing variable

---
 main/inc/lib/display.lib.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/main/inc/lib/display.lib.php b/main/inc/lib/display.lib.php
index 45fda7dcb1..e776d1f32c 100644
--- a/main/inc/lib/display.lib.php
+++ b/main/inc/lib/display.lib.php
@@ -50,8 +50,7 @@ class Display {
      * @param string The name of the page (will be showed in the page title)
      * @param string Optional help file name
      */
-    public static function display_header($tool_name ='', $help = null, $page_header = null) {
-        $nameTools = $tool_name;
+    public static function display_header($tool_name ='', $help = null, $page_header = null) {        
         /*
         global $_plugins, $lp_theme_css, $mycoursetheme, $user_theme, $platform_theme;
         global $httpHeadXtra, $htmlHeadXtra, $htmlIncHeadXtra, $_course, $_user, $text_dir, $plugins, $_user, $_cid, $interbreadcrumb, $charset, $language_file, $noPHP_SELF;