Ticket #5796: 5796.diff

wp-includes/general-template.php

@@ -983 +983 @@
         </script>
         <?php endif; // 'html' != $wp_default_editor
 
+        if( 'html' == $wp_default_editor )
+                $content = htmlspecialchars($content); //Double-(re)encode it so that it isnt treated as HTML upon saving.
+
         $the_editor = apply_filters('the_editor', "<div id='editorcontainer'><textarea class='' $rows cols='40' name='$id' tabindex='2' id='$id'>%s</textarea></div>\n");
         $the_editor_content = apply_filters('the_editor_content', $content);