From 5c716ac2b44bd72c7832366efd96de57ccfd2a95 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 2 Jun 2003 08:14:24 +0000
Subject: [PATCH] Prevent possible error when editing non-HTML pages

---
 mod/resource/details.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mod/resource/details.php b/mod/resource/details.php
index 8cc1565219..41d4a7686f 100644
--- 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();
-- 
2.39.5