9 <?php if (empty($NOFORM)) { ?>
10 <form method="post" action="<?= $request->getPostURL() ?>" accept-charset="<?=$charset?>" name="<?=$FORMNAME?>">
11 <?= HiddenInputs($request->getArgs(), false, array('auth')) ?>
13 <?php if ($user->isSignedIn()) {
14 $SignOutB = $WikiTheme->makeButton(_("Sign Out"), "javascript:SignOut();", 'wikiaction');
17 <?= fmt("You are signed in as %s", WikiLink($user->getId(), 'auto')) ?>
20 <script language="JavaScript" type="text/javascript"><!--
21 document.write('<input type="hidden" name="auth[logout]" value="0" />');
22 function SignOut(form) {
23 var form = document.forms["<?=$FORMNAME?>"];
24 form.elements["auth[logout]"].value = 1;
27 document.write('<?=$SignOutB?>'); // -->
30 <?= Button("submit:auth[logout]", _("Sign Out"), 'wikiaction') ?>
33 $SignInInput = HTML::input(array('type' => 'text',
34 'name' => "auth[userid]",
37 'onchange' => "SignIn(this.form);"));
38 $SignInInput->addTooltip(_("Enter your UserId to sign in"))
40 <script type="text/javascript"> <!--
41 function SignIn(form) {
42 <?php /* (comment out:)
44 window.open('/EditingPolicy.html',<!-- url -->
45 'PleaseReadThisFirst',<!-- window name -->
46 'width=600,height=430,scrollbars=yes,resizable=yes,toolbar=yes');
52 document.write(' <?=
58 <?php if (empty($NOFORM)) { ?>