From ed17a631d03556ecb4236e8b98849eae573f80aa Mon Sep 17 00:00:00 2001
From: Matthew Barbour <matthew@darkholme.net>
Date: Thu, 10 Oct 2019 10:32:34 -0500
Subject: [PATCH] Added extension documentation link image

---
 .../baseline_open_in_new_black_18dp.png           | Bin 0 -> 180 bytes
 ext/ext_manager/theme.php                         |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 ext/ext_manager/baseline_open_in_new_black_18dp.png

diff --git a/ext/ext_manager/baseline_open_in_new_black_18dp.png b/ext/ext_manager/baseline_open_in_new_black_18dp.png
new file mode 100644
index 0000000000000000000000000000000000000000..48a6da8e3fca58ba97a68bdd16d10cc21f4b9ba4
GIT binary patch
literal 180
zcmeAS@N?(olHy`uVBq!ia0vp^LLkh+0wn(&ce?|msy$sCLn;{8USwoza1d~~xL;^N
z^p(Be%ow>^1R53QCTw))5=dMm(YA4c{f0Nm27hAQm0mks`QEXu*y@GbiH!TxbKQ1$
zY3x~|ZtZch%b=lOr_tj}K!WoOgUFD`M{8GG2#9GcoOQ-YLpg(|aKba?VliWN>nQJ{
dz(r55%QY?vI@dnqYBSIo44$rjF6*2UngB5%Lcjn3

literal 0
HcmV?d00001

diff --git a/ext/ext_manager/theme.php b/ext/ext_manager/theme.php
index 27cc896b..173e2e56 100644
--- a/ext/ext_manager/theme.php
+++ b/ext/ext_manager/theme.php
@@ -37,7 +37,7 @@ class ExtManagerTheme extends Themelet
             //baseline_open_in_new_black_18dp.png
 
             $h_enabled_box = $editable ? "<td><input type='checkbox' name='ext_" . html_escape($extension->key) . "' id='ext_" . html_escape($extension->key) . "'$h_disabled $h_enabled></td>" : "";
-            $h_docs = ($extension->documentation ? "<a href='$h_link'>■</a>" : ""); //TODO: A proper "docs" symbol would be preferred here.
+            $h_docs = ($extension->documentation ? "<a href='$h_link'><img src='ext/ext_manager/baseline_open_in_new_black_18dp.png'/></a>" : ""); //TODO: A proper "docs" symbol would be preferred here.
 
             $html .= "
 				<tr data-ext='{$extension->name}'>