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

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

diff --git a/course/category.php b/course/category.php
index a71901d9b7..45da9e9647 100644
--- a/course/category.php
+++ b/course/category.php
@@ -428,7 +428,7 @@
                 }
             }
             
-            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>';
         }
-- 
2.39.5