Jak zrobić przycisk "edytuj profil"? Opcje

[filip.wil]

Chodzi mi dokładnie o coś na tej zasadzie:

Kod

if(isset($_SESSION['user'])){
echo '<div><a href="index.php?profil=edytuj">Edytuj profil</a></div>'
;}

Że jeśli jest sesja "user" z obojętnie jaką wartością (dla każdego usera inna, ma to być nick) to wyswietla się przycisk "edytuj profil".
Mój kod niestety nie działa :/

[kossa]

najprościej:

[PHP] pobierz, plaintext 
<?php
if ($_SESSION["user"]!="")
{
//link do edycji profilu
}
?>
[PHP] pobierz, plaintext 

Łukasz