From 3c12715af7c4a814cd078c84760f1ac3abf919a5 Mon Sep 17 00:00:00 2001
From: dongsheng <dongsheng>
Date: Fri, 16 Jan 2009 09:00:25 +0000
Subject: [PATCH] "GLOSSARY/MDL-17707, remove extra div, merged from 1.9"

---
 mod/glossary/view.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mod/glossary/view.php b/mod/glossary/view.php
index d4d60a91ee..72861cb790 100644
--- a/mod/glossary/view.php
+++ b/mod/glossary/view.php
@@ -325,7 +325,7 @@
     if ( $glossary->intro && $showcommonelements ) {
         $options = new stdclass;
         $options->para = false;
-        print_box('<div>'.format_text($glossary->intro, FORMAT_MOODLE, $options).'</div>', 'generalbox', 'intro');
+        print_box(format_text($glossary->intro, FORMAT_MOODLE, $options), 'generalbox', 'intro');
     }
 
 /// Search box
-- 
2.39.5