→ ".htmlentities($_SESSION['error_msg']).""; } else { if (!empty($_SESSION['ok_msg'])) { echo " → ".$_SESSION['ok_msg'].""; } } ?>