Use format_text instead of text_to_html (so filtering works)

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>";
 }

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 />";