var enable_menu = true;
var tinymce_enable_typograph = true;
var tinymce_enable_remove_formatting = true;

var jsonrpc_user_methods = [];

var default_lang;