From 515e6eccbee05d511bf5b6d6c7d2cb5767b67b97 Mon Sep 17 00:00:00 2001
From: julmis <julmis>
Date: Mon, 6 Mar 2006 07:44:35 +0000
Subject: [PATCH] Adding support for new GetHtml plugin

---
 lib/editor/htmlarea/htmlarea.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/editor/htmlarea/htmlarea.php b/lib/editor/htmlarea/htmlarea.php
index 3ebf60a40e8..1f4ad94919e 100644
--- a/lib/editor/htmlarea/htmlarea.php
+++ b/lib/editor/htmlarea/htmlarea.php
@@ -88,7 +88,7 @@ function HTMLArea(textarea, config) {
     var scripts = HTMLArea._scripts = [ _editor_url + "htmlarea.js",
                         _editor_url + "dialog.js",
                         _editor_url + "popupwin.js",
-                        _editor_url + "lang/" + _editor_lang + ".js" ];
+                        _editor_url + "plugins/GetHtml/get-html.js" ];
     var head = document.getElementsByTagName("head")[0];
     // start from 1, htmlarea.js is already loaded
     for (var i = 1; i < scripts.length; ++i) {
@@ -575,6 +575,9 @@ HTMLArea.prototype._createStatusBar = function() {
 // Creates the HTMLArea object and replaces the textarea with it.
 HTMLArea.prototype.generate = function () {
     var editor = this;  // we'll need "this" in some nested functions
+    try {
+        editor.registerPlugin(GetHtml);
+    } catch (e) {}
     // get the textarea
     var textarea = this._textArea;
     if (typeof textarea == "string") {