Update widget_wp_editor.class.php