diff --git a/ext/ext_manager/theme.php b/ext/ext_manager/theme.php index 88853cf8..3cc6d871 100644 --- a/ext/ext_manager/theme.php +++ b/ext/ext_manager/theme.php @@ -30,13 +30,13 @@ class ExtManagerTheme extends Themelet $h_description = html_escape($extension->description); $h_link = make_link("ext_doc/".url_escape($extension->ext_name)); $h_enabled = ($extension->enabled === true ? " checked='checked'" : ($extension->enabled === false ? "" : " disabled checked='checked'")); - $h_enabled_box = $editable ? "" : ""; + $h_enabled_box = $editable ? "" : ""; $h_docs = ($extension->documentation ? "" : ""); //TODO: A proper "docs" symbol would be preferred here. $html .= " {$h_enabled_box} - {$h_name} + {$h_docs} {$h_description} ";