Änderungen für Wordpress 3.5

Achtung: Damit das Ganze funktioniert muss zusätzlich ist folgender Eintrag in die functions.php des Themes vorzunehmen:

add_filter( 'wp_default_editor', create_function('', 'return "html";') );