From 18f2e7023aabf0aa203e8ba6f923143e845bc32d Mon Sep 17 00:00:00 2001
From: Hui Lan <lanhui@zjnu.edu.cn>
Date: Mon, 20 Apr 2020 20:11:40 +0800
Subject: [PATCH] Courses.php: change info_Updated to info_updated.  PHP
 usually uses camelCase as its naming convention.  In that case, there should
 be no underscore between info and Updated.

---
 Courses.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Courses.php b/Courses.php
index 4314a3a..ed7c864 100644
--- a/Courses.php
+++ b/Courses.php
@@ -139,7 +139,7 @@ New Date/Time <br><input type="date" name="date" required=""> <input type="time"
     
     $sql = "UPDATE `lab_reports_table` SET `Deadline` = ('" . $Deadline . "'), `Instructions` = ('" . $instructions . "'), `Title` = ('" . $title . "'), `Marks` = ('" . $marks . "') WHERE `lab_reports_table`.`Lab_Report_ID` = '$getid'";
     if ($con->query($sql) === TRUE) {
-      $_SESSION["info_Updated"]="Assignment information updated successfully.";
+      $_SESSION["info_updated"]="Assignment information updated successfully.";
        
    } else {
        echo "Error: " . $sql . "<br>" . $con->error;
@@ -253,9 +253,9 @@ Submission Type  <input type='radio' name='type' value='Individual' required=''>
             echo "<div class='col-md-7'>  <h3> Lab Report Assignment list </h3>";  
                   
  error_reporting(0);
- if(isset($_SESSION["info_Updated"])){
-  echo '<hr><div class="alert alert-info" role="alert">' . $_SESSION['info_Updated'] . '</div>';
-  $_SESSION['info_Updated'] = null;
+ if(isset($_SESSION["info_updated"])){
+  echo '<hr><div class="alert alert-info" role="alert">' . $_SESSION['info_updated'] . '</div>';
+  $_SESSION['info_updated'] = null;
  }
 if (isset($_SESSION['info_courses'])) {
     echo '<hr><div class="alert alert-info" role="alert">' . $_SESSION['info_courses'] . '</div>';