diff --git a/common/content/buffer.js b/common/content/buffer.js index 2e0386a4..3226a575 100644 --- a/common/content/buffer.js +++ b/common/content/buffer.js @@ -1050,7 +1050,12 @@ function Buffer() //{{{ function followFrame(frame) { - function iter(elems) (e for ([i, e] in Iterator(elems)) if (e.rel.toLowerCase() == rel || e.rev.toLowerCase() == rel)); + function iter(elems) + { + for (let i = 0; i < elems.length; i++) + if (elems[i].rel.toLowerCase() == rel || elems[i].rev.toLowerCase() == rel) + yield elems[i]; + } // s have higher priority than normal hrefs let elems = frame.document.getElementsByTagName("link");