From f0f8242c3cb55b5c91581eaa441cd9b088d2bca0 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Thu, 5 Mar 2020 02:09:02 +0000
Subject: [PATCH] allow extension documentation to contain raw HTML

---
 ext/ext_manager/theme.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ext/ext_manager/theme.php b/ext/ext_manager/theme.php
index 9fcc61db..1a0c2e4f 100644
--- a/ext/ext_manager/theme.php
+++ b/ext/ext_manager/theme.php
@@ -16,6 +16,7 @@ use function MicroHTML\DIV;
 use function MicroHTML\P;
 use function MicroHTML\BR;
 use function MicroHTML\emptyHTML;
+use function MicroHTML\rawHTML;
 
 class ExtManagerTheme extends Themelet
 {
@@ -92,7 +93,7 @@ class ExtManagerTheme extends Themelet
         $author = emptyHTML();
         if (count($info->authors) > 0) {
             $author->appendChild(BR());
-            $author->appendChild(B(count($info->authors) > 1 ? "Authors" : "Author"));
+            $author->appendChild(B(count($info->authors) > 1 ? "Authors: " : "Author: "));
             foreach ($info->authors as $auth=>$email) {
                 if (!empty($email)) {
                     $author->appendChild(A(["href"=>"mailto:$email"], $auth));
@@ -108,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($info->documentation),
+            P(rawHTML($info->documentation)),
             // <hr>,
             P(A(["href"=>make_link("ext_manager")], "Back to the list"))
         );