From 3b9424b6afe575d93023e43e58c98bcbd061ee4d Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Sun, 18 Oct 2020 09:10:19 +0200
Subject: [PATCH] The type attribute is unnecessary for JavaScript resources.

---
 src/generators/html.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/generators/html.cpp b/src/generators/html.cpp
index 5ddf18f..c61e426 100644
--- a/src/generators/html.cpp
+++ b/src/generators/html.cpp
@@ -107,7 +107,7 @@ void write_html(ostream &out, const vector<entry_type> &entries)
       <a href="https://www.gnu.org/licenses/agpl-3.0.html">AGPL-3.0-only</a>.
     </p>
 
-    <script type="text/javascript">
+    <script>
       // Open details when called with ID.
       function open_details()
       {