From c0601640bf71e436752548d4bd861028f7fedced Mon Sep 17 00:00:00 2001 From: Daku Date: Sun, 6 Mar 2016 23:41:46 +0000 Subject: [PATCH] only show link if extension actually has documentation --- 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 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 "; }