<?php if (isset($user)) echo htmlspecialchars($user["nome"]);
You have javascript disabled. You will not be able to edit any code.