From 8c75d90f8da98fa0c7330ff354aee65f4b584917 Mon Sep 17 00:00:00 2001
From: urs_hunkler <urs_hunkler>
Date: Wed, 26 Apr 2006 15:00:22 +0000
Subject: [PATCH] bug #5347 - JS code after page end??? corrected

---
 course/edit.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/course/edit.php b/course/edit.php
index 0e2bd224c6..d6f412962a 100644
--- a/course/edit.php
+++ b/course/edit.php
@@ -270,12 +270,12 @@
     include("edit.html");
     print_simple_box_end();
 
-    print_footer($course);
-
     if ($usehtmleditor) {
         use_html_editor("summary");
     }
 
+    print_footer($course);
+
     exit;
 
 /// Functions /////////////////////////////////////////////////////////////////
-- 
2.39.5