2 if (!$WikiTheme->DUMP_MODE) {
3 // Only [Info] button when not signed in.
4 // The rest behind Info
6 <?php /* I would like not to have to use these tables, and managed to
7 * get this stuff to work more or less correctly using
8 * CSSs float:left; and float:right;. However float:right; seems
9 * to cause MSIE4.01/NT to hang.
10 * So, we use tables... */ ?>
11 <table width="100%" cellpadding="0" cellspacing="0" border="0">
12 <tr valign="baseline">
14 <div id="actionbuttons">
15 <?php if ((!$page->get('locked') || $user->isAdmin()) and $revision) { ?>
16 <?php echo Button("edit", $revision->isCurrent() ? _("Edit") : _("Edit Old Revision")) ?>
18 <?php echo Button("viewsource", _("View Source")) ?>
20 <?php if ( $user->isSignedIn()) { ?>
21 <?php if ($user->isAdmin() or mayAccessPage('change', $page->getName())) { ?>
22 <?php echo $SEP?><?php echo Button($page->get('locked') ? 'unlock' : 'lock') ?>
23 <?php if (ENABLE_PAGEPERM and mayAccessPage('change', $page->getName())) { ?>
24 <?php echo $SEP?><?php echo Button('chown') ?>
25 <?php echo $SEP?><?php echo Button('setacl') ?>
26 <?php echo $SEP?><?php echo Button('rename') ?>
28 <?php if ($revision and ($user->isAdmin() or mayAccessPage('remove', $page->getName()))) { ?>
29 <?php echo $SEP?><?php echo Button('revert',_("Revert"), $revision->isCurrent() ? $page->GetRevisionBefore() : $revision) ?>
30 <?php echo $SEP?><?php echo Button('remove') ?>
34 <?php echo Button(array('action'=>'PageInfo'),_("Info"), $page->getName()) ?>
35 <?php if (((defined('DEBUG') and DEBUG and $request->getArg('action') == 'browse')) || $user->isAdmin()) { ?>
36 <!-- Buttons really only for debugging -->
37 <?php echo $SEP?><?php echo Button(_("PageHistory")) ?>
38 <?php echo $SEP?><?php echo Button("diff") ?>
39 <?php echo $SEP?><?php echo Button(_("PageDump")) ?>
40 <!-- End debugging buttons -->
42 <?php if (defined('USE_EXTERNAL_HTML2PDF') and USE_EXTERNAL_HTML2PDF) { ?>
43 <?php echo $SEP?><?php echo Button("pdf") ?>
47 <?php if (empty($NOSIGNIN)) { ?>
49 <div id="signin"><?php echo Template('signin') ?></div>