From 59a9617512e8aaa3c977ae351fb3a860aea32c44 Mon Sep 17 00:00:00 2001
From: Mathias Bynens <mathias@qiwi.be>
Date: Tue, 20 Nov 2018 23:49:24 -0800
Subject: [PATCH] Omit redundant `type="text/javascript"` (#543)

https://mathiasbynens.be/notes/html5-levels#type-attributes
---
 scripts/playground.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/playground.html b/scripts/playground.html
index 17ca249e..12d9063b 100644
--- a/scripts/playground.html
+++ b/scripts/playground.html
@@ -20,8 +20,8 @@
       </div>
     </div>
     <!-- at the end of the BODY -->
-    <script type="text/javascript" src="http://127.0.0.1:8080/docsearch.js"></script>
-    <script type="text/javascript">
+    <script src="http://127.0.0.1:8080/docsearch.js"></script>
+    <script>
       docsearch({
         apiKey: '25626fae796133dc1e734c6bcaaeac3c',
         indexName: 'docsearch',