From ccdfbe43ec3e204443d64cab0e7c837447a21aad Mon Sep 17 00:00:00 2001
From: Astor Bizard <astor.bizard@grenoble-inp.fr>
Date: Wed, 24 Jun 2020 10:47:43 +0200
Subject: [PATCH] Corrected files permission requirements adjusted.
---
forms/edit.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/forms/edit.php b/forms/edit.php
index f715370d..a8186850 100644
--- a/forms/edit.php
+++ b/forms/edit.php
@@ -114,7 +114,7 @@ if ( $subid ) {
$reqfgm = $vpl->get_fgm('required');
$options ['resetfiles'] = ($reqfgm->is_populated() && ! $instance->example);
$corfgm = $vpl->get_fgm('corrected');
-$options ['correctedfiles'] = ($corfgm->is_populated() && ! $instance->example && $manager && user_has_role_assignment($USER->id,3));
+$options ['correctedfiles'] = ($corfgm->is_populated() && ! $instance->example && $grader);
$options ['maxfiles'] = intval($instance->maxfiles);
$reqfilelist = $reqfgm->getFileList();
$options ['minfiles'] = count( $reqfilelist );
--
GitLab