. // Au passage, cette fonction étant la première appelée par chaque page (après l'ouverture // de session obligatoire pour pouvoir accéder aux variables de session), on vérifie si // l'environnement est correctement positionné. Si ce n'est pas le cas, par exemple avec // l'accès à la BDD non établi ou aucune langue sélectionnée, elle renvoit immédiatement // vers le fichier 'index.php' qui s'en chargera. // Reçoit : Rien // Retour : Rien //************************************************************************************************************ function Entete_page_html() { // Vérification à chaque ouverture de page que les variables de session sont bien initialisées (le test se fait sur quelques "échantillons" supposés représentatifs...) : if ((!isset($_SESSION['langue'])) OR (!isset($_SESSION['display_menu']))) header('Location:index.php?origine='.basename($_SERVER['SCRIPT_FILENAME'])); // Entête HTML : echo ''; echo ''; echo ''; echo ''; echo 'ShipHeart - Simplicity is true luxury'; echo ''; echo ''; echo ''; echo ''; echo ''; echo ""; echo ""; echo ""; echo ""; echo ""; // gestion des fichiers CSS (et de scripts spécifiques à certains fichiers) : switch(basename($_SERVER['SCRIPT_FILENAME'])) { case "administration.php" : { echo ''; break; } case "textes.php" : { echo ''; break; } case "bateaux.php" : { echo ''; break; } case "cartes.php" : { echo ''; break; } case "mentions_legales.php" : { echo ''; break; } case "shipmembers.php" : { echo ''; break; } case "uploads.php" : { echo ''; break; } case "versions.php" : { echo ''; break; } } echo ''; // CSS de Bootstrap echo ''; // CSS général, tous écrans. echo ''; // CSS pour les petits écrans (doit être placé à la fin car il override les CSS globaux) // Chargement de srcipts JS généraux : echo ''; // Pour Google Charts (graphiques) echo ''; echo ''; echo ''; } //************************************************************************************************************ // Fonction : Insertion de l'entête des pages avec l'affichage du bandeau de titre et les menus. // Puis affichage des messages d'erreur et d'information en les marquant de façon différenciée // selon que le menu est déployé ou non et/ou que le message d'erreur existe et/ou que le // message d'information existe. // Reçoit : Les message d'erreur et le message d'information (de plus, on retrouve le nom du fichier via les variables du serveur) // Retour : Rien //************************************************************************************************************ function Entete_page($message_erreur, $message_information) { $nom_page = basename($_SERVER['SCRIPT_FILENAME']); // Détermination de la nouvelle langue par rapport à l'actuelle : if ($_SESSION['langue'] == "FR") $new_langue = "EN"; else $new_langue = "FR"; echo '
'; //---------------------------------- // Bandeau gauche : echo '
'; // echo ' '; // echo ''; //-------------------------------------------------------------------------------------------- // Menu afficher / masquer -- Mobile //-------------------------------------------------------------------------------------------- echo ''; //-------------------------------------------------------------------------------------------- // Script d'affichage/masquage du menu : //-------------------------------------------------------------------------------------------- //-------------------------------------------------------------------------------------------- // Affichage des messages d'erreur et d'info sous le menu : //-------------------------------------------------------------------------------------------- if (!PRODUCTION) $message_erreur .= "/!\ Base de données de test [".BDD_DATABASE."]
"; // else $message_erreur .= "Base de données de production [".BDD_DATABASE."]
"; if ($message_erreur != "") echo '
'.$message_erreur.'
'; if ($message_information != "") echo '
'.$message_information.'
'; } //************************************************************************************************************ // Fonction : Insertion du pied de page // Reçoit : Rien (mais on retrouve le nom du fichier via les variables du serveur) // Retour : Rien //************************************************************************************************************ function Pied_de_page() { $nom_page = basename($_SERVER['SCRIPT_FILENAME']); // echo ""; echo ''; echo '
'; echo '
'; //================================================================================== // Script JS pour pieds de page : ?>'; echo ''; } // Fin de la fonction Pied_de_page()