Show jump menu when grading assignments

diff --git a/mod/assignment/submissions.php b/mod/assignment/submissions.php
index 261163eee42c7938cafc65ea342235e76d3b52ff..2a6205c3564e1cb075432afafa2b3a0f8e9a734c 100644 (file)
--- a/mod/assignment/submissions.php
+++ b/mod/assignment/submissions.php
@@ -39,7 +39,7 @@
     print_header("$course->shortname: $assignment->name", "$course->fullname",
                  "$navigation <a href=\"index.php?id=$course->id\">$strassignments</a> -> 
                   <a href=\"view.php?a=$assignment->id\">$assignment->name</a> -> $strsubmissions", 
-                  "", "", true);
+                  "", "", true, update_module_button($cm->id, $course->id, $strassignment), navmenu($course, $cm));
 
 /// Check to see if groups are being used in this assignment
     if ($groupmode = groupmode($course, $cm)) {   // Groups are being used