Don't show htmleditor preference if it's disabled by admin

diff --git a/user/edit.html b/user/edit.html
index 11a694497042a9f472d392373fc4d1865df20e5c..f0e04c896690bc4d2af7e79c424be5c1a52c7078 100644 (file)
--- a/user/edit.html
+++ b/user/edit.html
@@ -61,6 +61,7 @@ if (isadmin()) {
     choose_from_menu ($choices, "mailformat", $user->mailformat, "") ?>
        </td>
 </tr>
+<? if ($CFG->htmleditor) { ?>
 <tr valign=top>
        <td><P><? print_string("textediting") ?>:</td>
        <td><? 
@@ -70,6 +71,7 @@ if (isadmin()) {
     choose_from_menu ($choices, "htmleditor", $user->htmleditor, "") ?>
        </td>
 </tr>
+<? } ?>
 <tr valign=top>
        <td><P><? print_string("city") ?>:</td>
        <td><input type="text" name="city" size=25 value="<? p($user->city) ?>">