<?php
list($usec, $sec) = explode(" ", microtime());
$debut_ex = (float)$usec + (float)$sec;
?>

<!doctype html>
<html>
<head>
<meta charset="utf-8">
<link rel="stylesheet" type="text/css" href="style.css">
<title>Panel de Rosières-en-Haye</title>
<script type="text/javascript" src="js/jquery.min.js"></script>

<?php
require('mysql.php');
?>
</head>

<body>
<div style="width:800px; margin-left:auto; margin-right:auto;">

<!-- LOGO -->
<div style="float:left"><img src="banniere_reh.png" width="600" height="200"  alt=""/></div>
<!-- FIN LOGO -->

<!-- MENU -->
<div style="height:200px; text-align:right;">
<?php if(@$infos_user){ echo strtoupper($infos_user['prenom'].' '.$infos_user['nom']); ?><br/>
(<?php echo strtolower($infos_user['pseudo']); ?>)<br/>
<a href="connexion.php?action=logout">Se déconnecter</a><br/><br/>
<a href="index.php">Menu</a><br/>
<a href="alertes.php"><?php echo $result_nb_alertes; ?> Alertes</a><br/>
<a href="membres.php">Membres</a>
<?php
}
else echo 'Bonjour à vous!<br/><br/><a href="connexion.php">Se connecter</a>'; ?>
</div>
<!-- FIN MENU -->

<!-- CORPS -->
<div><hr style="width:800px;">