'; // Show admin options, if appropriate: if (isset($_SESSION['user_admin'])) { echo '

Administration

'; } } else { // Show the login form: require ('includes/login_form.inc.php'); } ?>

Content