Ticket #20993: 20993-2.patch

wp-admin/js/editor.dev.js

@@ -7 +7 @@
                 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 (Quicktags)
                 id = id || 'content';
                 mode = mode || 'toggle';
 

wp-includes/class-wp-editor.php

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

wp-includes/general-template.php

@@ -1767 +1767 @@
  * 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 (Quicktags).
  *
  * @since 2.5.0
  *