'; // Header menu echo '
Nodes
Configure
Provision
Monitor
Guide
'; // User name and log out section if (isset($_SESSION['username'])){ echo "
User: {$_SESSION['username']}
Log out
"; } echo '
'; // Content echo '
'; // End of page echo '