Sorry, the code had a slight syntax error, use this code:
<?php require_once( "../WA_Globals/WA_Globals.php" ); ?>
<?php require_once( "../WA_SecurityAssist/Helper_PHP.php" ); ?>
<?php
if(isset($_SESSION['AdminLogin'])) {
unset($_SESSION['AdminLogin']);
}
?>
<?php
if (!WA_Auth_RulePasses("Administrator")){
WA_Auth_RestrictAccess("users_LogIn.php");
}
?>