mrlan
/
LRR
3
0
Fork 2
Code Issues Pull Requests 7 Projects Releases Wiki Activity

Course.php: more space under tab and change message color to yellow.

Bug430-Eden2
Lan Hui 2023-08-28 21:11:59 +08:00
parent 4f7cf62a24
commit 53cdccf8d7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Course.php
View File

@ -131,7 +131,7 @@ include 'Header.php';
$result1 = mysqli_query($con, $sql_stmt); $result1 = mysqli_query($con, $sql_stmt);
if(mysqli_num_rows($result1) == 0) { if(mysqli_num_rows($result1) == 0) {
echo "<div class='alert alert-info'>No active assignments now.</div>"; echo "<br><div class='alert alert-warning'>No active assignments now.</div>";
} else { } else {
while($row = mysqli_fetch_assoc($result1)) { while($row = mysqli_fetch_assoc($result1)) {
$title=$row['Title']; $title=$row['Title'];
@ -257,7 +257,7 @@ include 'Header.php';
$resultx = mysqli_query($con, $sql_stmt); $resultx = mysqli_query($con, $sql_stmt);
if(mysqli_num_rows($resultx) == 0) { if(mysqli_num_rows($resultx) == 0) {
echo '<div class="alert alert-info">You have no unmarked submissions. Check the Marked tab for your marked submissions (if any).</div>'; echo '<br><div class="alert alert-warning">You have no unmarked submissions. Check the Marked tab for your marked submissions (if any).</div>';
} else { } else {
while($row = mysqli_fetch_assoc($resultx)) { while($row = mysqli_fetch_assoc($resultx)) {
$lab_repo_id=$row['Lab_Report_ID']; $lab_repo_id=$row['Lab_Report_ID'];
@ -379,7 +379,7 @@ where Lab_Report_ID=$lab_repo_id and (lab_report_submissions.Student_id='$studen
. " where (Status='Marked' or Status='Remarking') and (Student_id=$student_id or Course_Group_id=$group_id) and Course_ID=$course_id) ORDER by Submission_ID DESC"); . " where (Status='Marked' or Status='Remarking') and (Student_id=$student_id or Course_Group_id=$group_id) and Course_ID=$course_id) ORDER by Submission_ID DESC");
if (mysqli_num_rows($resultx) == 0) { if (mysqli_num_rows($resultx) == 0) {
echo '<div class="alert alert-info">You have no marked submissions.</div>'; echo '<br><div class="alert alert-warning">You have no marked submissions.</div>';
} else { } else {
while($row = mysqli_fetch_assoc($resultx)) { while($row = mysqli_fetch_assoc($resultx)) {
$title = $row['Lab_Title']; $title = $row['Lab_Title'];