lint and disable lint in many html files, phetsims/chipper#1405

phetsims · Oct 7, 2023 · 6933d28 · 6933d28
1 parent 3d52eae
commit 6933d28
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/index.html b/doc/index.html
@@ -38,6 +38,7 @@
 
   <!-- Our code, in either the concatenated 'with comments' version or the minified version -->
   <script src="../dist/kite.min.js"></script>
+  <!-- eslint-disable --> <!--TODO: fix lint https://github.com/phetsims/chipper/issues/1405-->
 
   <script type="text/javascript">
     function docExample( id, draw ) {
@@ -396,7 +397,7 @@ <h4 id="shape-ellipticalArc">ellipticalArc( <span
 </div>
 
 <script type="text/javascript">
-  SyntaxHighlighter.all();
+  window.SyntaxHighlighter.all();
 </script>
 </body>
 </html>