From 6b6bea6bccadc9bee6207a13adc456460fc6bd10 Mon Sep 17 00:00:00 2001
From: HeCorr <hccaseclone@gmail.com>
Date: Thu, 11 Nov 2021 17:23:16 -0300
Subject: [PATCH] add missing colon to version title on extension page

---
 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 781a4ed3..c8c607d6 100644
--- a/ext/ext_manager/theme.php
+++ b/ext/ext_manager/theme.php
@@ -107,7 +107,7 @@ class ExtManagerTheme extends Themelet
         $html = DIV(
             ["style"=>'margin: auto; text-align: left; width: 512px;'],
             $author,
-            ($info->version ? emptyHTML(BR(), B("Version"), $info->version) : null),
+            ($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 ?? "(This extension has no documentation)")),
             // <hr>,