Déplacement des fichiers deconnexion.php et parametres.php + ajout d'un lien vers les paramètres dans la barre de menu + changement de la redirection après connexion vers la page d'accueil

inclusions/barre_menu.php

@@ -18,7 +18,8 @@ if (testPrivileges()=="administrateur") {
 _HEREDOC_;
 }
 echo <<<_HEREDOC_
-			<td><a href="/services/fonctions/sessions/deconnexion.php">Déconnexion</a></td>
+			<td><a href="/pages/gestion/administration.php?page=parametres">Paramètres</a></td>
+			<td><a href="/services/traitements/utilisateurs/deconnexion.php">Déconnexion</a></td>
 		</tr>
 	</table>
 </div>

pages/gestion/administration.php

@@ -40,7 +40,11 @@ if (isset($_GET['page']) && !empty($_GET['page'])) {
 		case 'listes_noires':
 			require_once($_SERVER["DOCUMENT_ROOT"]."/services/gestion/listes_noires.php");
 			break;
-			default:
+		case 'parametres':
+			require_once($_SERVER["DOCUMENT_ROOT"]."/services/gestion/parametres.php");
+			break;
+
+		default:
 		echo "<h1>Cette page n'existe pas.</h1>";
 		break;
 	}

pages/gestion/parametres.php

@@ -1,16 +0,0 @@
-<?php
-
-/**
- * Page centrale de gestion des paramètres d'un utilisateur et du portail lui-même.
- */
-
-session_start();
-require_once($_SERVER["DOCUMENT_ROOT"]."/inclusions/entete.php");
-require_once($_SERVER["DOCUMENT_ROOT"]."/inclusions/barre_entete.php");
-
-?>
-
-
-
-
-<?php require_once($_SERVER["DOCUMENT_ROOT"]."/inclusions/pied.php"); ?>

services/gestion/parametres.php

@@ -0,0 +1,7 @@
+<?php
+
+/**
+ * Page centrale de gestion des paramètres d'un utilisateur et du portail lui-même.
+ */
+
+?>

services/traitements/utilisateurs/identification.php

@@ -24,11 +24,11 @@ if (isset($_POST['identifiant']) && isset($_POST['mdp']) && !empty($_POST['ident
 		$_SESSION['privilege_utilisateur'] = $result[0]['privilege'];
 
 		if (isset($_SESSION['pseudo_utilisateur']) && !empty($_SESSION['pseudo_utilisateur']) && $_SESSION['privilege_utilisateur']=="administrateur") {
-			header ("location: /pages/gestion/administration.php?message=bienvenue&page=alias");
+			header ("location: /pages/gestion/administration.php?message=bienvenue&page=accueil");
 			die();
 		}
 		elseif (isset($_SESSION['pseudo_utilisateur']) && !empty($_SESSION['pseudo_utilisateur']) && $_SESSION['privilege_utilisateur']=="utilisateur") {
-			header ("location: /pages/gestion/administration.php?message=bienvenue&page=alias");
+			header ("location: /pages/gestion/administration.php?message=bienvenue&page=accueil");
 			die();
 		}
 		else {