temporary workaround for bug #5534, html editor now disabled for IE when loginhttps...

diff --git a/user/edit.php b/user/edit.php
index 0b3656e5aeac3472158830b5a05affe66c40e8c2..63d574eae2295852bdb14aa099cf5461c3f8283d 100644 (file)
--- a/user/edit.php
+++ b/user/edit.php
@@ -277,6 +277,12 @@
 
     $usehtmleditor = can_use_html_editor();
 
+    //temporary hack to disable htmleditor in IE when loginhttps on and wwwroot starts with http://
+    //see bug #5534
+    if (!empty($CFG->loginhttps) and check_browser_version('MSIE', 5.5) and (strpos($CFG->wwwroot, 'http://') === 0)) {
+        $usehtmleditor = false;
+    }
+
     $streditmyprofile = get_string("editmyprofile");
     $strparticipants = get_string("participants");
     $strnewuser = get_string("newuser");