Remove the tinymce option until 1.7

diff --git a/user/edit.html b/user/edit.html
index ae09d06ce07f4ecbdc1a6928e7697cd1fed950a4..5357ae49addf30166dd428b211ab3802beda55fa 100644 (file)
--- a/user/edit.html
+++ b/user/edit.html
@@ -189,7 +189,6 @@ if (isadmin()) {
     unset($choices);
     $choices["0"] = get_string("texteditor");
     $choices["1"] = get_string("htmleditor");
-    $choices["2"] = get_string("tinymceeditor");
     choose_from_menu ($choices, "htmleditor", $user->htmleditor, "") ?>
     </td>
 </tr>