nodejs
diff --git a/Collapse file
‎tools/doc/html.js‎
Copy file name to clipboardExpand all lines: tools/doc/html.js
+1-1Lines changed: 1 addition & 1 deletion b/Collapse file
‎tools/doc/html.js‎
Copy file name to clipboardExpand all lines: tools/doc/html.js
+1-1Lines changed: 1 addition & 1 deletion
@@ -518,7 +518,7 @@ function getId(text) {
   text = text.replace(/^_+|_+$/, '');
   text = text.replace(/^([^a-z])/, '_$1');
   if (idCounters.hasOwnProperty(text)) {
-    text += `_${(++idCounters[text])}`;
+    text += `_${++idCounters[text]}`;
   } else {
     idCounters[text] = 0;
   }