From 03bfdb455e33509cb64114096a79149198d0bf5f Mon Sep 17 00:00:00 2001
From: Eric Willigers <ericwilligers@chromium.org>
Date: Sat, 26 Jan 2019 10:49:31 +1100
Subject: [PATCH] [css-fonts-3] Fix type on onload eventHandler

resolves #3553
---
 css-fonts-3/Fonts.html    | 2 +-
 css-fonts-3/Overview.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/css-fonts-3/Fonts.html b/css-fonts-3/Fonts.html
index d2eebc1caf6..f9691dce28d 100644
--- a/css-fonts-3/Fonts.html
+++ b/css-fonts-3/Fonts.html
@@ -6420,7 +6420,7 @@ <h2 class=no-num id=property-index>Property index</h2>
 window.onload = function () {
   if (!("devicePixelRatio" in window && window.devicePixelRatio > 1)) return;
   var i, hiresElements = document.getElementsByClassName("hires");
-  for (i = 0; i &lt; hiresElements.length; i++) {
+  for (i = 0; i < hiresElements.length; i++) {
     var h = hiresElements[i];
     if (h.tagName != "IMG") continue;
     var src = h.getAttribute("src");
diff --git a/css-fonts-3/Overview.html b/css-fonts-3/Overview.html
index b3a6ad6b6c6..e518c21dec5 100644
--- a/css-fonts-3/Overview.html
+++ b/css-fonts-3/Overview.html
@@ -6414,7 +6414,7 @@ <h2 class=no-num id=property-index>Property index</h2>
 window.onload = function () {
   if (!("devicePixelRatio" in window && window.devicePixelRatio > 1)) return;
   var i, hiresElements = document.getElementsByClassName("hires");
-  for (i = 0; i &lt; hiresElements.length; i++) {
+  for (i = 0; i < hiresElements.length; i++) {
     var h = hiresElements[i];
     if (h.tagName != "IMG") continue;
     var src = h.getAttribute("src");