<?php
                  if( !isset($_SESSION["loginusers"]) ) {
                    echo "<li><a href="login.php">Login</a></li>";
                  } else {
                    echo "<li><a href="profile.php">$_SESSION["userinfo"]</a></li>";
                    echo "<li><a href="logout.php">Logout</a></li>";
                  }
?>