Modules: Un-escape the "Official/Third-Party" label

diff --git a/misc/server-lookup-misc.php b/misc/server-lookup-misc.php
index 6c90aa1b022364ea90cb3421d583473a244180e0..c93864b05f08af87f99888d34ed14f1490f91ec6 100644 (file)
--- a/misc/server-lookup-misc.php
+++ b/misc/server-lookup-misc.php
@@ -145,7 +145,7 @@ function generate_html_modlist($srv)
                 $short_desc .= "...";
             echo "<td><span href='#' data-toggle='tooltip' title=\"".htmlspecialchars($desc)."\">".htmlspecialchars($short_desc)."</span></td>";
             $source = (!$module->third_party) ? "<div class=\"badge rounded-pill badge-success\">Official</div>" : "<div class=\"badge rounded-pill badge-info\">Third-Party</div>";
-            echo "<td>".htmlspecialchars($source)."</td>";
+            echo "<td>$source</td>";
             echo "<td>".htmlspecialchars($module->author)."</td>";
             echo "<td>".htmlspecialchars($module->version)."</td>";
         }