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