diff --git a/inclusions/barre_menu.php b/inclusions/barre_menu.php index c2203e2..b10895d 100644 --- a/inclusions/barre_menu.php +++ b/inclusions/barre_menu.php @@ -18,7 +18,8 @@ if (testPrivileges()=="administrateur") { _HEREDOC_; } echo <<<_HEREDOC_ - Déconnexion + Paramètres + Déconnexion diff --git a/pages/gestion/administration.php b/pages/gestion/administration.php index ea671f2..b8bd5ff 100644 --- a/pages/gestion/administration.php +++ b/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 "

Cette page n'existe pas.

"; break; } diff --git a/pages/gestion/parametres.php b/pages/gestion/parametres.php deleted file mode 100644 index 884ba78..0000000 --- a/pages/gestion/parametres.php +++ /dev/null @@ -1,16 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/services/gestion/parametres.php b/services/gestion/parametres.php new file mode 100644 index 0000000..320a1ef --- /dev/null +++ b/services/gestion/parametres.php @@ -0,0 +1,7 @@ + \ No newline at end of file diff --git a/services/fonctions/sessions/deconnexion.php b/services/traitements/utilisateurs/deconnexion.php similarity index 100% rename from services/fonctions/sessions/deconnexion.php rename to services/traitements/utilisateurs/deconnexion.php diff --git a/services/traitements/utilisateurs/identification.php b/services/traitements/utilisateurs/identification.php index 6b5f428..9e52245 100644 --- a/services/traitements/utilisateurs/identification.php +++ b/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 {