Additions to cope with richtext editor being used in some forms.

admin/config.html

@@ -65,6 +65,20 @@
     <? print_string("configgdversion") ?>
     </TD>
 </TR>
+<TR VALIGN=TOP>
+    <TD ALIGN=RIGHT><P>htmleditor:</TD>
+    <TD>
+    <? unset($options);
+       $options[0] = get_string("allownot");
+       $options[1] = get_string("allow");
+       choose_from_menu ($options, "htmleditor", $config->htmleditor, "", "", "");
+       formerr($err["htmleditor"]);
+    ?>
+    </TD>
+    <TD>
+    <? print_string("confightmleditor") ?>
+    </TD>
+</TR>
 <TR VALIGN=TOP>
 	<TD ALIGN=RIGHT><P>maxeditingtime:</TD>
 	<TD>

admin/index.php

@@ -255,7 +255,7 @@
 
     print_heading("Moodle $CFG->release ($CFG->version)", "CENTER", 1);
 
-    print_footer();
+    print_footer($site);
 
 ?>