То, что вы хотели бы перейти здесь, это получить указатель на текстовое значение редактора в javascript и опубликовать эту сторону сервера для сохранения либо в виде файла, либо в виде базы данных.текстовое значение редактора следующим образом:
var editor = env.editor;
var value = editor.value;
Один простой способ - скопировать это значение в скрытое поле, чтобы вы могли обработать его, как и любое другое поле формы.