9 <?php if (empty($NOFORM)) { ?>
10 <form style="display:inline" 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')) ?>
14 if ($user->isAuthenticated()) {
15 $Sep = $WikiTheme->getButtonSeparator();
16 $SignOutB = $WikiTheme->makeButton(_("Sign Out"), "javascript:SignOut();", 'wikiaction');
18 $SignOutJS = JavaScript(' document.write(\'<input type="hidden" name="auth[logout]" value="0" />\');
20 var form = document.forms["'.$FORMNAME.'"];
21 form.elements["auth[logout]"].value = 1;
24 document.write(\''.AsXML($SignOutB).'\');');
26 <?php echo $SignOutJS?>
27 <noscript><?php echo Button("submit:auth[logout]", _("Sign Out"), 'wikiaction') ?></noscript>
29 $SignInInput = HTML::input(array('type' => 'text',
30 'name' => "auth[userid]",
33 'onchange' => "SignIn(this.form,false);"));
34 if ($user->isSignedIn()) { // cookie
35 $SignInInput->setAttr('value', $user->getId());
37 $SignInInput->addTooltip(_("Enter your UserId to sign in"));
38 $editing_policy = (defined('EDITING_POLICY') and $request->_dbi->isWikiPage(EDITING_POLICY));
39 $SignInJS = JavaScript('
40 function SignIn(form,userid) {'.($editing_policy ? '
42 window.open("' . WikiUrl(EDITING_POLICY) . '",<!-- url -->
43 "PleaseReadThisFirst",<!-- window name -->
44 "width=600,height=430,scrollbars=yes,resizable=yes,toolbar=yes");
47 form.elements["auth[userid]"].value = userid;
52 <?php echo $SignInJS ?>
53 <?php echo $SignInInput ?>
54 <?php echo Button("submit:auth[login]", _("Sign In"), 'wikiaction')?>
56 <?php if (empty($NOFORM)) { ?>