$THEME->htmleditorpostprocess merged from 1.8

diff --git a/lib/weblib.php b/lib/weblib.php
index 8b020afdc1930fd4ffef5a7499f42da6daa05572..b191d09be0c49746465e857f261f0009e265d276 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -4262,6 +4262,8 @@ function print_textarea($usehtmleditor, $rows, $cols, $width, $height, $name, $v
  * @param string $name Form element to replace with HTMl editor by name
  */
 function use_html_editor($name='', $editorhidebuttons='', $id='') {
+    global $THEME;
+    
     $editor = 'editor_'.md5($name); //name might contain illegal characters
     if ($id === '') {
         $id = 'edit-'.$name;
@@ -4272,11 +4274,20 @@ function use_html_editor($name='', $editorhidebuttons='', $id='') {
     echo "var config = $editor.config;\n";
 
     echo print_editor_config($editorhidebuttons);
-
-    if (empty($name)) {
-        echo "\nHTMLArea.replaceAll($editor.config);\n";
+    
+    if (empty($THEME->htmleditorpostprocess)) {
+        if (empty($name)) {
+            echo "\nHTMLArea.replaceAll($editor.config);\n";
+        } else {
+            echo "\n$editor.generate();\n";
+        }
     } else {
-        echo "\n$editor.generate();\n";
+        if (empty($name)) {
+            echo "\nvar HTML_name = '';";
+        } else {
+            echo "\nvar HTML_name = \"$name;\"";
+        }
+        echo "\nvar HTML_editor = $editor;";
     }
     echo '//]]>'."\n";
     echo '</script>'."\n";