From f64afbb455fb8e092e55709b45eece052daf9fc1 Mon Sep 17 00:00:00 2001
From: jerome <jerome>
Date: Thu, 27 Aug 2009 03:21:33 +0000
Subject: [PATCH] htmlarea MDL-15800 add ; at the end of line <? echo ... ; ?>

---
 lib/editor/htmlarea/htmlarea.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/editor/htmlarea/htmlarea.php b/lib/editor/htmlarea/htmlarea.php
index 65e067b215d..6cdcb809958 100644
--- a/lib/editor/htmlarea/htmlarea.php
+++ b/lib/editor/htmlarea/htmlarea.php
@@ -719,7 +719,7 @@ HTMLArea.prototype.generate = function () {
     // create the IFRAME
     var iframe = document.createElement("iframe");
 
-    iframe.src = "<?php echo $url ?>blank.html";
+    iframe.src = "<?php echo $url; ?>blank.html";
 
     iframe.className = "iframe";