|
@@ 798-805 (lines=8) @@
|
| 795 |
|
|
| 796 |
|
$workingTime = null; |
| 797 |
|
|
| 798 |
|
foreach ($resultExtra as $field) { |
| 799 |
|
$field = $field['value']; |
| 800 |
|
if ($consideredWorkingTime == $field->getField()->getVariable()) { |
| 801 |
|
$workingTime = $field->getValue(); |
| 802 |
|
|
| 803 |
|
break; |
| 804 |
|
} |
| 805 |
|
} |
| 806 |
|
|
| 807 |
|
$courseUsers = CourseManager::get_user_list_from_course_code($_course['code'], $sessionId); |
| 808 |
|
|
|
@@ 3997-4003 (lines=7) @@
|
| 3994 |
|
); |
| 3995 |
|
|
| 3996 |
|
$workingTime = null; |
| 3997 |
|
foreach ($resultExtra as $field) { |
| 3998 |
|
$field = $field['value']; |
| 3999 |
|
if ($consideredWorkingTime == $field->getField()->getVariable()) { |
| 4000 |
|
$workingTime = $field->getValue(); |
| 4001 |
|
} |
| 4002 |
|
} |
| 4003 |
|
|
| 4004 |
|
// If no time was defined, or a time of "0" was set, do nothing |
| 4005 |
|
if (!empty($workingTime)) { |
| 4006 |
|
// If some time is set, get the list of docs handed in by |
|
@@ 4498-4504 (lines=7) @@
|
| 4495 |
|
); |
| 4496 |
|
|
| 4497 |
|
$workingTime = null; |
| 4498 |
|
foreach ($resultExtra as $field) { |
| 4499 |
|
$field = $field['value']; |
| 4500 |
|
|
| 4501 |
|
if ($consideredWorkingTime == $field->getField()->getVariable()) { |
| 4502 |
|
$workingTime = $field->getValue(); |
| 4503 |
|
} |
| 4504 |
|
} |
| 4505 |
|
// If no time was defined, or a time of "0" was set, do nothing |
| 4506 |
|
if (!empty($workingTime)) { |
| 4507 |
|
$sessionId = empty($row['session_id']) ? 0 : $row['session_id']; |