tools: remove unneeded parentheses in doc/html.js

PR-URL: #16845
Ref: #16801 (comment)
Reviewed-By: Colin Ihrig <[email protected]>
Reviewed-By: Jeremiah Senkpiel <[email protected]>
Reviewed-By: Rich Trott <[email protected]>

Author: vsemozhetbyt

tools/doc/html.js

@@ -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;
   }