5 if (empty($revision)) $revision = $page->getCurrentRevision(false);
7 <?php echo Button(array('action'=>'PageInfo'),_("PageInfo"),$page->getName()) ?>
8 <?php echo $SEP?><?php echo Button("edit", $revision->isCurrent() ? _("Edit") : _("Edit Old Revision")) ?>
9 <?php if ($user->isAdmin() or mayAccessPage('change',$page->getName())) { ?>
10 <?php echo $SEP?><?php echo Button($page->get('locked') ? 'unlock' : 'lock') ?>
11 <?php if (ENABLE_PAGEPERM) { ?>
12 <?php echo $SEP?><?php echo Button('chown') ?>
13 <?php echo $SEP?><?php echo Button('setacl') ?>
16 <?php if ($user->isAdmin() or mayAccessPage('remove',$page->getName())) { ?>
17 <?php echo $SEP?><?php echo Button('remove') ?>
19 <?php if (!empty($user) && $user->isAdmin()) { ?>
20 <?php echo $SEP?><?php echo WikiLink(_("PhpWikiAdministration"), "","Admin") ?>
21 <!-- Buttons really only for debugging. See info for more -->
22 <?php echo $SEP?><?php echo Button(_("PageHistory")) ?>
23 <?php echo $SEP?><?php echo Button("diff") ?>
24 <?php echo $SEP?><?php echo Button(_("PageDump")) ?>
25 <!-- End debugging buttons -->