get('locked') || $user->isAdmin()) $EditB = Button("edit", $revision->isCurrent() ? _("Edit") : _("Edit Old Revision")); else $EditB = Button("viewsource", _("View Source")); $Sep = $Theme->getButtonSeparator(); ?>
isAdmin()) { ?> get('locked') ? 'unlock' : 'lock') ?> isAdmin()) { ?> 'purge'), _("PurgeHtmlCache"), $page->getName()); $purgeb->addTooltip(_("Purge HTML cache for this page. Regenerate from WikiMarkup when next accessed.")); ?>