7 <?php if (empty($NOFORM)) { ?>
8 <form method="post" action="<?php echo $request->getPostURL() ?>" accept-charset="UTF-8" name="<?php echo $FORMNAME?>">
9 <?php echo HiddenInputs($request->getArgs(), false, array('auth')) ?>
11 <?php if ($user->isSignedIn()) {
12 $SignOutB = $WikiTheme->makeButton(_("Sign Out"), "javascript:SignOut();", 'wikiaction');
15 <?php echo fmt("You are signed in as %s", WikiLink($user->getId(), 'auto')) ?>
18 <script type="text/javascript"><!--
19 document.write('<input type="hidden" name="auth[logout]" value="0" />');
20 function SignOut(form) {
21 var form = document.forms["<?php echo $FORMNAME?>"];
22 form.elements["auth[logout]"].value = 1;
25 document.write('<?php echo $SignOutB?>'); // -->
28 <?php echo Button("submit:auth[logout]", _("Sign Out"), 'wikiaction') ?>
31 $SignInInput = HTML::input(array('type' => 'text',
32 'name' => "auth[userid]",
35 'onchange' => "SignIn(this.form);"));
36 $SignInInput->addTooltip(_("Enter your UserId to sign in"))
38 <script type="text/javascript"> <!--
39 function SignIn(form) {
40 <?php /* (comment out:)
42 window.open('/EditingPolicy.html',<!-- url -->
43 'PleaseReadThisFirst',<!-- window name -->
44 'width=600,height=430,scrollbars=yes,resizable=yes,toolbar=yes');
50 document.write(' <?php echo
54 <?php echo $SignInInput ?>
56 <?php if (empty($NOFORM)) { ?>