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 = "