Index: src/wp-includes/class-wp-editor.php
===================================================================
--- src/wp-includes/class-wp-editor.php (revision 38623)
+++ src/wp-includes/class-wp-editor.php (working copy)
@@ -176,9 +176,9 @@
}
$buttons .= '\n";
+ ' data-wp-editor-id="' . $editor_id_attr . '">' . __('Visual Editor') . "\n";
$buttons .= '\n";
+ ' data-wp-editor-id="' . $editor_id_attr . '">' . _x( 'HTML Editor', 'Name for the Text editor tab (formerly HTML)' ) . "\n";
} else {
$default_editor = 'tinymce';
}