5 if ($revision and (!$page->get('locked') || $user->isAdmin()))
6 $EditB = Button("edit",
7 $revision->isCurrent() ? _("EditText") : _("Edit Old Revision"));
9 $EditB = Button("viewsource", _("View Source"));
10 $EditB = fmt("%s of this page", $EditB);
11 if (empty($revision)) $revision = $page->getCurrentRevision(false);
14 <a href="<?php echo WikiURL($revision,array('action'=>'diff'))?>"><?php echo $WikiTheme->getLastModifiedMessage($revision) ?></a>
15 <?php echo $SEP?><?php echo Button("PageHistory", _("PageHistory")) ?>
16 <?php echo $SEP?><?php echo Button("PageInfo", _("PageInfo")) ?>
17 <?php if (defined('DEBUG') && DEBUG || $user->isAdmin()) { ?>
18 <?php echo $SEP?><?php echo Button("DebugInfo", _("DebugInfo")) ?> <!-- For debugging only, really -->