diff --git a/grade/report/grader/index.php b/grade/report/grader/index.php index 8e44f2f8cfe..ba994fce95f 100644 --- a/grade/report/grader/index.php +++ b/grade/report/grader/index.php @@ -200,6 +200,7 @@ echo '