Thread:Project:Support desk/Recent Changes/Wikipedia Default Editor?/reply (3)

Presumably WikiEditor. It's not a WYSIWYG editor, but it is a different editor than the default.