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

phetsims · Oct 7, 2023 · f35e04e · f35e04e
1 parent 6af9e86
commit f35e04e
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/util/window-size.html b/util/window-size.html
@@ -8,15 +8,16 @@
 <body>
 <script src="http://code.jquery.com/jquery-latest.js"></script>
 <script>
-  $( document ).ready( function( e ) {
+  $( document ).ready( () => {
     showViewportSize();
   } );
-  $( window ).resize( function( e ) {
+  $( window ).resize( () => {
     showViewportSize();
   } );
+
   function showViewportSize() {
-    var the_width = $( window ).width();
-    var the_height = $( window ).height();
+    const the_width = $( window ).width();
+    const the_height = $( window ).height();
     $( '#width' ).text( the_width );
     $( '#height' ).text( the_height );
   }