Текстовый редактор на 000webhost

[vitrolov]

Кто может подсказать, какой текстовый редактор используют на бесплатном 000webhost, как по мне он пришелся по душе.
Это используют облачный редактор или свой какой-то. Спросил бы тех подержку, но для этого надо перейти на платный хостинг что делать я не планирую. В файле css видим что сразу идут подсказки, в общем удобный. Если кто-то что-то знает подскажите

 

[RealKludge]

Там вся панель самописная, в т.ч. и редактор.