From ccacf1a072865eb43c7363a7a2af0bc9585fec07 Mon Sep 17 00:00:00 2001 From: pyg77 Date: Thu, 14 Mar 2013 14:12:09 +0100 Subject: [PATCH] ajout d'un placeholder pour le nom --- studs.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/studs.php b/studs.php index 190b52a..5b5c51f 100644 --- a/studs.php +++ b/studs.php @@ -496,9 +496,9 @@ if (! ( USE_REMOTE_USER && isset($_SERVER['REMOTE_USER']) ) || !$user_mod) { if (isset($_SESSION['nom'])) { $nom = stripslashes($_SESSION['nom']); } else { - $nom = ''; + $nom = 'Votre nom'; } - echo ''."\n"; + echo ''."\n"; echo ''."\n";