Clarify that 'html' refers to the Text editor tab, see #20993

git-svn-id: https://develop.svn.wordpress.org/trunk@21218 602fd350-edb4-49c9-b593-d223f7449a82

wp-admin/js/editor.dev.js

@@ -7,7 +7,7 @@ var switchEditors = {
 		this.go(id, mode);
 	},
 
-	go: function(id, mode) { // mode can be 'html', 'tmce', or 'toggle'
+	go: function(id, mode) { // mode can be 'html', 'tmce', or 'toggle'; 'html' is used for the "Text" editor tab.
 		id = id || 'content';
 		mode = mode || 'toggle';
 

wp-includes/class-wp-editor.php

@@ -76,6 +76,7 @@ final class _WP_Editors {
 		if ( self::$this_quicktags && self::$this_tinymce ) {
 			$switch_class = 'html-active';
 
+			// 'html' and 'switch-html' are used for the "Text" editor tab.
 			if ( 'html' == wp_default_editor() ) {
 				add_filter('the_editor_content', 'wp_htmledit_pre');
 			} else {

wp-includes/general-template.php

@@ -1767,7 +1767,7 @@ function user_can_richedit() {
  * Find out which editor should be displayed by default.
  *
  * Works out which of the two editors to display as the current editor for a
- * user.
+ * user. The 'html' setting is for the "Text" editor tab.
  *
  * @since 2.5.0
  *