| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647 | <?phpif (check_login ()) {	?><nav class="navbar navbar-default">	<div class="container">		<div class="navbar-header">			<ul class="nav navbar-nav navbar-left">				<a class="navbar-brand" href="index.php"><span					class="glyphicon glyphicon-home"> </span>				<?php	echo $ini['app_title'];	?>				</a>				<li><a href="adminpwd.php">Admin password</a></li>				<li><a href="logout.php">Logout</a></li>				<li><a href="selfservice.php">Change my password</a></li>			</ul>		</div>	</div></nav><?php} else {	?><nav class="navbar navbar-default">	<div class="container">		<div class="navbar-header">			<ul class="nav navbar-nav navbar-left">				<a class="navbar-brand" href="index.php"><span					class="glyphicon glyphicon-home"> </span>				<?php	echo $ini['app_title'];	?>				</a>				<li><a href="login.php">Login</a></li>				<li><a href="login.php">Change my password</a></li>			</ul>		</div>	</div></nav><?php}?>
 |