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);
if (empty($revision)) $revision = $page->getCurrentRevision(false);
?>
= $EditB ?>
= $WikiTheme->getLastModifiedMessage($revision) ?>
=$SEP?>= Button("PageHistory", _("PageHistory")) ?>
=$SEP?>= Button("PageInfo", _("PageInfo")) ?>
isAdmin()) { ?>
=$SEP?>= Button("DebugInfo", _("DebugInfo")) ?>