9 <?php if (empty($NOFORM)) { ?>
10 <form method="post" action="<?php echo $request->getPostURL() ?>" accept-charset="<?php echo $charset?>" name="<?php echo $FORMNAME?>">
11 <?php echo HiddenInputs($request->getArgs(), false, array('auth')) ?>
13 <?php if ($user->isSignedIn()) {
14 $SignOutB = $WikiTheme->makeButton(_("Sign Out"), "javascript:SignOut();", 'wikiaction');
17 <?php echo fmt("You are signed in as %s", WikiLink($user->getId(), 'auto')) ?>
20 <script type="text/javascript"><!--
21 document.write('<input type="hidden" name="auth[logout]" value="0" />');
22 function SignOut(form) {
23 var form = document.forms["<?php echo $FORMNAME?>"];
24 form.elements["auth[logout]"].value = 1;
27 document.write('<?php echo $SignOutB?>'); // -->
30 <?php echo 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(' <?php echo
56 <?php echo $SignInInput ?>
58 <?php if (empty($NOFORM)) { ?>