Remove quotes from title - these can cause the stylesheet to not load

properly on Internet Explorer.

diff --git a/lib/weblib.php b/lib/weblib.php
index ff0ec5b69776b69f74606a8f641f821b19cf57d7..bfefaae265581487c6826a90ff1991a63773921f 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -839,6 +839,8 @@ function print_header ($title="", $heading="", $navigation="", $focus="", $meta=
         $direction = " xmlns=\"http://www.w3.org/1999/xhtml\" xml:lang=\"$currentlanguage\" $direction";
     }
 
+    $title = str_replace('"', '"', $title);
+
     include ("$CFG->dirroot/theme/$CFG->theme/header.html");
 }