getButtonSeparator();
if (!$page->get('locked') || $user->isAdmin())
$EditB = Button("edit",
$revision->isCurrent() ? _("EditText") : _("Edit Old Revision"));
else
$EditB = Button("viewsource", _("View Source"));
$EditB = fmt("%s of this page", $EditB);
?>
= $EditB ?>
= $Theme->getLastModifiedMessage($revision) ?>
=$Sep?>= Button(_("PageHistory")) ?>
=$Sep?>= Button("info") ?>
=$Sep?>= Button(_("DebugInfo")) ?>