diff --git a/mod/workshop/submissions.php b/mod/workshop/submissions.php index fbea5456cd3..38fce222551 100644 --- a/mod/workshop/submissions.php +++ b/mod/workshop/submissions.php @@ -75,6 +75,7 @@