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

Opción reducida en PHP

php

add_filter( 'wp_default_editor', create_function('', 'return "tinymce";') );

';document.write(content);