Use format_text instead of text_to_html (so filtering works)

diff --git a/mod/journal/lib.php b/mod/journal/lib.php
index 8dfe822c5de7696755e295fedbc07c7de584a9cc..f2dde17c542eab077f3b3da9fc09987a6c79d55b 100644 (file)
--- a/mod/journal/lib.php
+++ b/mod/journal/lib.php
@@ -471,7 +471,7 @@ function journal_print_feedback($course, $entry, $grades) {
     }
     echo "</I></FONT></P>";
 
-    echo text_to_html($entry->comment);
+    echo format_text($entry->comment);
     echo "</TD></TR></TABLE>";
     echo "</TD></TR></TABLE>";
 }

diff --git a/mod/journal/view.php b/mod/journal/view.php
index 23f2011bfc57fbdcf00915b56b4d715c048f40a1..916c99870024c1e59a52366ac691ae86f892dd92 100644 (file)
--- a/mod/journal/view.php
+++ b/mod/journal/view.php
@@ -45,7 +45,7 @@
 
     echo "<center>\n";
     
-    print_simple_box( text_to_html($journal->intro,  $journal->introformat) , "center");
+    print_simple_box( format_text($journal->intro,  $journal->introformat) , "center");
 
     echo "<br />";