Working around that PHP bug - thanks for the confirmation Henrik!

diff --git a/mod/journal/view.php b/mod/journal/view.php
index 5ce2488f3a82716fb5d9669fc6046866fea0a846..b9572e032e1876492dea3bd02000bb1626a78787 100644 (file)
--- a/mod/journal/view.php
+++ b/mod/journal/view.php
@@ -45,7 +45,9 @@
 
     echo "<center>\n";
     
-    if (!empty(trim($journal->intro))) {
+    $journal->intro = trim($journal->intro);
+
+    if (!empty($journal->intro)) {
         print_simple_box( format_text($journal->intro,  $journal->introformat) , "center");
     }