From fd38860c9533367fc5a86ba16d9cb86a3716ddd7 Mon Sep 17 00:00:00 2001 From: Shish Date: Thu, 15 Jan 2009 21:58:05 -0800 Subject: [PATCH] layout --- ext/ext_manager/theme.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/ext_manager/theme.php b/ext/ext_manager/theme.php index 303bc41d..187e0000 100644 --- a/ext/ext_manager/theme.php +++ b/ext/ext_manager/theme.php @@ -45,7 +45,7 @@ class ExtManagerTheme extends Themelet { } public function display_doc(Page $page, ExtensionInfo $info) { - $html = "
".$info->documentation."
"; + $html = "
".$info->documentation."
"; $page->set_title("Documentation for ".html_escape($info->name)); $page->set_heading(html_escape($info->name)); $page->add_block(new NavBlock());