From 99557542273c2afb841e36bba5370d4b20fb357e Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 27 Mar 2006 14:05:40 +0000
Subject: [PATCH] Remove the tinymce option until 1.7

---
 user/edit.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/user/edit.html b/user/edit.html
index ae09d06ce0..5357ae49ad 100644
--- 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>
-- 
2.39.5