Prevent possible error when editing non-HTML pages

diff --git a/mod/resource/details.php b/mod/resource/details.php
index 8cc156521961bbb201c84872d922d8121ecb96a0..41d4a7686f0cf54b083cef9bde5cef03a6d17aef 100644 (file)
--- a/mod/resource/details.php
+++ b/mod/resource/details.php
@@ -214,7 +214,7 @@
         </center>
         </form>
 <?
-        if ($usehtmleditor) {
+        if ($usehtmleditor and $form->type == HTML) {
             print_richedit_javascript("theform", "alltext", "yes");
         }
         print_simple_box_end();