WP Editor Widget adds a WYSIWYG widget using the wp_editor().