texteditors)) { $CFG->texteditors = 'tinymce,textarea'; } $activeeditors = explode(',', $CFG->texteditors); foreach ($activeeditors as $editor) { $editor = get_texteditor($editor); echo $editor->header_js(); } ?>