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