From b9ac1fcac2abc03072b29dbc68ebdd5fb7d2f0e4 Mon Sep 17 00:00:00 2001
From: Patrick Cool <patrick.cool@ugent.be>
Date: Tue, 20 Jan 2009 11:18:29 +0100
Subject: [PATCH] [svn r17851] added tool introduction

---
 main/glossary/index.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/main/glossary/index.php b/main/glossary/index.php
index 23c62e5c3b..9f43fe7f77 100755
--- a/main/glossary/index.php
+++ b/main/glossary/index.php
@@ -30,6 +30,9 @@ $tool = TOOL_GLOSSARY;
 // displaying the header
 Display::display_header(get_lang(ucfirst($tool)));
 
+// tool introduction
+Display::display_introduction_section(TOOL_GLOSSARY,'left');
+
 // action links
 echo '<div class="actions">';
 if (api_is_allowed_to_edit())