"; foreach($extensions as $extension) { $ext_name = $extension->ext_name; $h_name = empty($extension->name) ? $ext_name : html_escape($extension->name); $h_email = html_escape($extension->email); $h_link = isset($extension->link) ? html_escape($extension->link) : ""; $h_author = html_escape($extension->author); $h_description = html_escape($extension->description); $h_enabled = $extension->enabled ? " checked='checked'" : ""; $html .= " " . ( empty($h_link) ? "" : "" ) . ( empty($h_email) ? "" : "" ) . " "; } $html .= "
NameAuthorDescriptionEnabled
$h_name$h_name$h_author$h_author$h_description
"; $page->set_title("Extensions"); $page->set_heading("Extensions"); $page->add_block(new NavBlock()); $page->add_block(new Block("Extension Manager", $html)); } public function display_doc(Page $page, ExtensionInfo $info) { $html = "
".$info->documentation."
"; $page->set_title("Documentation for ".html_escape($info->name)); $page->set_heading(html_escape($info->name)); $page->add_block(new NavBlock()); $page->add_block(new Block("Documentation", $html)); } } ?>