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