// Edited for WordPres
document.write('<script src="../../../src/wp-includes/js/tinymce/tinymce.js"></script>');

var wpPlugins = 'charmap colorpicker hr lists media paste tabfocus textcolor ' +
			'fullscreen wordpress wpautoresize wpeditimage wpgallery wplink wpdialogs wpview';

getUserSetting = setUserSetting = function() {}