Remove the ampersand thing ... it was actually a Mozilla display bug. :-)

diff --git a/lib/weblib.php b/lib/weblib.php
index 24665703c037350c122716276d2213d532a2ffdd..93fef553654987cfcf9181dd5fc1c189ad65ae1e 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -532,9 +532,6 @@ function text_to_html($text, $smiley=true, $para=true) {
     $text = eregi_replace("([\n\r])<", " <", $text);
     $text = eregi_replace(">([\n\r])", "> ", $text);
 
-/// Replace ampersands
-    $text = eregi_replace("&", "&amp;", $text);
-
 /// Make lone URLs into links.   eg http://moodle.com/
     $text = eregi_replace("([\n\r ([])([[:alnum:]]+)://([^[:space:]]*)([[:alnum:]#?/&=])", 
                           "\\1<A HREF=\"\\2://\\3\\4\" TARGET=\"newpage\">\\2://\\3\\4</A>", $text);