isAuthenticated()) { if (mayAccessPage('edit', $page->getName())) $EditB = Button("edit"); else $EditB = Button("viewsource", _("View Source")); ?>