From 1ce8e45ba6739fb8379c61fa784a889cd046c44c Mon Sep 17 00:00:00 2001 From: Arthur Portugal Date: Thu, 22 Oct 2009 11:19:56 -0500 Subject: [PATCH] Removed duplicated get_lang for the glossary DT#5496 --- main/glossary/index.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main/glossary/index.php b/main/glossary/index.php index 76118840f7..bf25d5055c 100755 --- a/main/glossary/index.php +++ b/main/glossary/index.php @@ -33,7 +33,7 @@ event_access_tool(TOOL_GLOSSARY); // displaying the header if (isset($_GET['action']) && ($_GET['action'] == 'addglossary' || $_GET['action'] == 'edit_glossary')) { -$tool=get_lang('GlossaryManagement'); +$tool='GlossaryManagement'; $interbreadcrumb[] = array ("url"=>"index.php", "name"=> get_lang('Glossary')); }