From 55753cc88fbd54793edd11005590e6c25c622e3d Mon Sep 17 00:00:00 2001 From: Lan Hui Date: Mon, 18 Oct 2021 23:27:03 +0800 Subject: [PATCH] Courses.php: indent code. --- Course.php | 65 ------------------------------------------------------ 1 file changed, 65 deletions(-) diff --git a/Course.php b/Course.php index 0dc6dbc..8946d75 100644 --- a/Course.php +++ b/Course.php @@ -2,7 +2,6 @@ include 'NoDirectPhpAcess.php'; ?> - - - - - - - - "; } } echo ""; ?> - - - - - - @@ -555,13 +520,10 @@ where Lab_Report_ID=$lab_repo_id and (lab_report_submissions.Student_id='$studen $count_groups = $row['Course_Group_id']; } - echo " "; ?> - -
Invite Others"; if ($status == "Invited") { @@ -598,30 +559,21 @@ where course_group_members_table.Course_Group_id=$id"); $status = $row['Status']; $Student_ID = $row['Student_ID']; - echo "
  • $name-$Student_ID ($status)
  • "; } } } ?> - - - - - - - - @@ -629,10 +581,8 @@ include 'Footer.php';