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