From f31e0d98344625c85fb42b7d7710780ad648b479 Mon Sep 17 00:00:00 2001
From: Pierre Guilleminot <pierre@jow.fr>
Date: Mon, 13 Apr 2020 14:03:44 +0200
Subject: [PATCH] docs: use String.repeat for dom templates

---
 lib/std/special/docs/main.js | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/lib/std/special/docs/main.js b/lib/std/special/docs/main.js
index 2123f1b0a7..0e5193070b 100644
--- a/lib/std/special/docs/main.js
+++ b/lib/std/special/docs/main.js
@@ -469,12 +469,8 @@
     }
 
     function createDomListFragment(desiredLen, templateHtml) {
-        var templateHtmlContent = "";
-        for (var i = 0; i < desiredLen; i++) {
-            templateHtmlContent += templateHtml;
-        }
         var domTemplate = document.createElement("template");
-        domTemplate.innerHTML = templateHtmlContent;
+        domTemplate.innerHTML = templateHtml.repeat(desiredLen);
         return domTemplate.content;
     }