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