Correct quotes in adminFunction (JSON )

lib/views.php

@@ -224,6 +224,12 @@ class Views {
     }
   }
 
+  private function prepare ($value, $comma=true) {
+     $v = '"'.addslashes($value).'"';
+     if ($comma) $v = $v.',';
+     return $v;
+  }
+
   public function adminFunction ($utclogin, $mailresp, $students) {
     echo '<h2>Super-pouvoirs</h2>';
     // Resp Emails
@@ -241,7 +247,16 @@ class Views {
     echo '<script src="js/main.js"></script>';
     echo '<script>var csvstudents = [["Semaine","Code","Api","Nom","Prénom","Niveau","Mail","Login"],';
     foreach ($students as $s) {
-      echo "[".$s[week].",".$s[normcode].",".$s[name].",".$s[surname].",".$s[firstname].",".$s[level].",".$s[email].",".$s[utclogin]].",";
+      echo "["
+        .$this->prepare($s["week"])
+        .$this->prepare($s["normcode"])
+        .$this->prepare($s["name"])
+        .$this->prepare($s["firstname"])
+        .$this->prepare($s["surname"])
+        .$this->prepare($s["level"])
+        .$this->prepare($s["email"])
+        .$this->prepare($s["utclogin"], false)
+        ."],";
     }
     echo "];</script>";
     // Api Menu