Ну вот, всё-таки нашла - это живёт в /includes/javascript.php - там можно добавить или убрать любой модуль для которого нужен/ненужен редактор. Правда сама в найденном разочаровалась - при включенном редакторе не работает <textarea disabled и readonly>