diff -r 2f6f6f7551ca -r 32102edaa81b web/wp-includes/class-wp-editor.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/wp-includes/class-wp-editor.php Mon Nov 19 18:26:13 2012 +0100 @@ -0,0 +1,817 @@ + true, // use wpautop? + 'media_buttons' => true, // show insert/upload button(s) + 'textarea_name' => $editor_id, // set the textarea name to something different, square brackets [] can be used here + 'textarea_rows' => get_option('default_post_edit_rows', 10), // rows="..." + 'tabindex' => '', + 'editor_css' => '', // intended for extra styles for both visual and HTML editors buttons, needs to include the