diff --git a/ext/ext_manager/theme.php b/ext/ext_manager/theme.php index 7d6bd436..06883e77 100644 --- a/ext/ext_manager/theme.php +++ b/ext/ext_manager/theme.php @@ -25,7 +25,7 @@ class ExtManagerTheme extends Themelet { $html .= " $h_en - $h_name + ".($extension->documentation ? "$h_name" : $h_name)." $h_description "; }