changed old getElementById(id).submit() to the new submitFormById(id) call.

diff --git a/course/category.php b/course/category.php
index a71901d9b74346e40c8c7caf64c0f05cb24b7cef..45da9e9647d89a66b24d8637d89a0059a3ea2011 100644 (file)
--- 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>';
         }