don't crash when docs are missing

2020-03-06 13:44:51 +00:00
parent f0f8242c3c
commit 135432b329
1 changed files with 1 additions and 1 deletions
--- a/ext/ext_manager/theme.php
+++ b/ext/ext_manager/theme.php
@@ -109,7 +109,7 @@ class ExtManagerTheme extends Themelet
            $author,
            ($info->version ? emptyHTML(BR(), B("Version"), $info->version) : null),
            ($info->link ? emptyHTML(BR(), B("Home Page"), A(["href"=>$info->link], "Link")) : null),
-            P(rawHTML($info->documentation)),
+            P(rawHTML($info->documentation ?? "(This extension has no documentation)")),
            // <hr>,
            P(A(["href"=>make_link("ext_manager")], "Back to the list"))
        );