merged from stable (removed excess clean_text)

diff --git a/user/view.php b/user/view.php
index f42a1ed788093249619df52b6c6b7180c41c8188..afffb11c4269ec4c2482edc7346971e229c092a5 100644 (file)
--- a/user/view.php
+++ b/user/view.php
@@ -123,7 +123,7 @@
     // Print the description
 
     if ($user->description) {
-        echo "<p>".format_text(clean_text($user->description, FORMAT_MOODLE))."</p><hr>";
+        echo "<p>".format_text($user->description, FORMAT_MOODLE)."</p><hr>";
     }
 
     // Print all the little details in a list