Which WYSIWYG text editor is used in this forum?

Which WYSIWYG text editor is used in this forum?

From the included Javascript files, I can't tell it.