diff --git a/mod/assign/feedback/comments/locallib.php b/mod/assign/feedback/comments/locallib.php index 362bf3ea09a..f4eea92aee2 100644 --- a/mod/assign/feedback/comments/locallib.php +++ b/mod/assign/feedback/comments/locallib.php @@ -147,7 +147,7 @@ class assign_feedback_comments extends assign_feedback_plugin { } return false; } - + /** * Upgrade the settings from the old assignment to the new plugin based one *