getArgs(), false, array('auth')) ?> isAuthenticated()) { $Sep = $WikiTheme->getButtonSeparator(); $SignOutB = $WikiTheme->makeButton(_("Sign Out"), "javascript:SignOut();", 'wikiaction'); // fails on gecko! $SignOutJS = JavaScript(' document.write(\'\'); function SignOut() { var form = document.forms["'.$FORMNAME.'"]; form.elements["auth[logout]"].value = 1; form.submit(); } document.write(\''.AsXML($SignOutB).'\');'); ?> 'text', 'name' => "auth[userid]", 'size' => 12, 'maxlength' => 256, 'onchange' => "SignIn(this.form,false);")); if ($user->isSignedIn()) { // cookie $SignInInput->setAttr('value', $user->getId()); } $SignInInput->addTooltip(_("Enter your UserId to sign in")); $editing_policy = (defined('EDITING_POLICY') and $request->_dbi->isWikiPage(EDITING_POLICY)); $SignInJS = JavaScript(' function SignIn(form,userid) {'.($editing_policy ? ' if (window.focus) { window.open("' . WikiUrl(EDITING_POLICY) . '", "PleaseReadThisFirst", "width=600,height=430,scrollbars=yes,resizable=yes,toolbar=yes"); }':'').' if (userid) { form.elements["auth[userid]"].value = userid; } form.submit(); }'); ?>