<?php
  //$pageid = $_GET['pageid'];

  // Get username : used for granting access to admin account
  $username = NULL;
  if (isset($_SERVER['REMOTE_USER'])){
    $username = $_SERVER['REMOTE_USER'];  
  }

  
  $pref = '<a href="/protected/';
  $pref2 = '<a href="/protected/';
// other var defdefined in menubar.inc.php

?>



<li class="dropdown">
	<a href="#" class="dropdown-toggle" data-toggle="dropdown">Login<b class="caret"></b></a>
	<ul class="dropdown-menu">
	<!-- 	<li class="dropdown-header">Plugtest Registration</li> -->
		<li><a href="<?php echo htmlspecialchars($regUrl); ?>">Registration</a></li>

		<li class="divider"></li>
	<!-- 	<li class="dropdown-header">Login to the Portal</li>
 -->
		<li><a href="<?php echo htmlspecialchars($loginUrl); ?>"><b><?php echo htmlspecialchars($loginText); ?></b></a></li>
	</ul>
</li>

