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="<?=WikiURL($revision,array('action'=>'diff'))?>"><?= $WikiTheme->getLastModifiedMessage($revision) ?></a>
15 <?=$SEP?><?= Button("PageHistory", _("PageHistory")) ?>
16 <?=$SEP?><?= Button("PageInfo", _("PageInfo")) ?>
17 <?php if (defined('DEBUG') && DEBUG || $user->isAdmin()) { ?>
18 <?=$SEP?><?= Button("DebugInfo", _("DebugInfo")) ?> <!-- For debugging only, really -->