From eb622fcaa7a0a1275eb1c7f306505295ecc9bf70 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Tue, 17 Aug 2004 06:58:49 +0000
Subject: [PATCH] Show jump menu when grading assignments

---
 mod/assignment/submissions.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mod/assignment/submissions.php b/mod/assignment/submissions.php
index 261163eee4..2a6205c356 100644
--- 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
-- 
2.39.5