User descriptions weren't being filtered! They are now. :-)

diff --git a/user/view.php b/user/view.php
index 15072fcaf029ae1a1f6fbab2669c5ed412d0c005..780bcdd8778d10160b7fc6e237c315afcd35943a 100644 (file)
--- a/user/view.php
+++ b/user/view.php
@@ -85,7 +85,7 @@
     // Print the description
 
     if ($user->description) {
-        echo "<p>".text_to_html($user->description)."</p><hr>";
+        echo "<p>".format_text($user->description)."</p><hr>";
     }
 
     // Print all the little details in a list