if(widgetStylesPrinted != true) {document.write('');}var widgetStylesPrinted = true;var content = '

Opción PHP

php

function my_default_editor() {
	$r = 'tinymce'; // html or tinymce
	return $r;
}
add_filter( 'wp_default_editor', 'my_default_editor' );

';document.write(content);