Added HTMLArea editor to the Description box in the Edit Profile area

theme/standard/styles_layout.css

@@ -192,6 +192,12 @@ table.formtable tbody th
   padding: 5px;
 }
 
+table.formtable tbody .htmlarea td,
+table.formtable tbody .htmlarea th
+{
+  padding: 0px;
+}
+
 .paging {
   text-align: center;
   margin: 10px 0px 10px 0px;

user/edit.html

@@ -240,7 +240,7 @@ if (isadmin()) {
             formerr($err["description"]);
             echo "<br />";
         }
-        print_textarea(false, 10, 50, 50, 10, 'description', "$user->description");
+        print_textarea($usehtmleditor, 10, 50, 50, 10, 'description', "$user->description");
         helpbutton("text", get_string("helptext"));
     ?>
     </td>

user/edit.php

@@ -254,6 +254,8 @@
 
 /// Otherwise fill and print the form.
 
+    $usehtmleditor = can_use_html_editor();
+
     $streditmyprofile = get_string("editmyprofile");
     $strparticipants = get_string("participants");
     $strnewuser = get_string("newuser");
@@ -347,6 +349,10 @@
 
     print_simple_box_end();
 
+    if ($usehtmleditor) {
+        use_html_editor("description");
+    }
+
     if (!isset($USER->newadminuser)) {
         print_footer($course);
     }