From b552ea35869a2a47c543de1ba84e0f0b358971fd Mon Sep 17 00:00:00 2001
From: urs_hunkler <urs_hunkler>
Date: Wed, 25 Jul 2007 11:16:17 +0000
Subject: [PATCH] changed old getElementById(id).submit() to the new
 submitFormById(id) call.

---
 course/category.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/course/category.php b/course/category.php
index bc9074c94aa..0fe5e52c4fa 100644
--- a/course/category.php
+++ b/course/category.php
@@ -416,7 +416,8 @@
                 }
             }
             
-            choose_from_menu ($displaylist, "moveto", "", get_string("moveselectedcoursesto"), "javascript: getElementById('movecourses').submit()");
+            // choose_from_menu ($displaylist, "moveto", "", get_string("moveselectedcoursesto"), "javascript: getElementById('movecourses').submit()");
+            choose_from_menu ($displaylist, "moveto", "", get_string("moveselectedcoursesto"), "javascript: submitFormById('movecourses')");
             echo '<input type="hidden" name="id" value="'.$category->id.'" />';
             echo '</td></tr>';
         }