2016-01-20 05:17:22 +01:00
|
|
|
// Edited for WordPres
|
|
|
|
document.write('<script src="../../../src/wp-includes/js/tinymce/tinymce.js"></script>');
|
2014-02-10 02:11:25 +01:00
|
|
|
|
2016-01-20 05:17:22 +01:00
|
|
|
var wpPlugins = 'charmap colorpicker hr lists media paste tabfocus textcolor ' +
|
|
|
|
'fullscreen wordpress wpautoresize wpeditimage wpgallery wplink wpdialogs wpview';
|
2014-02-10 02:11:25 +01:00
|
|
|
|
2016-01-20 05:17:22 +01:00
|
|
|
getUserSetting = setUserSetting = function() {}
|