diff options
Diffstat (limited to 'common/content/hints.js')
-rw-r--r-- | common/content/hints.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/content/hints.js b/common/content/hints.js index cba49632..9646d3f8 100644 --- a/common/content/hints.js +++ b/common/content/hints.js @@ -786,7 +786,7 @@ function Hints() //{{{ /////////////////////////////////////////////////////////////////////////////{{{ const DEFAULT_HINTTAGS = - Array_(["input[not(@type='hidden')]", "a", "area", "iframe", "textarea", "button", "select"]) + util.Array(["input[not(@type='hidden')]", "a", "area", "iframe", "textarea", "button", "select"]) .map(function (spec) [spec, "xhtml:" + spec]).flatten() .concat("*[@onclick or @onmouseover or @onmousedown or @onmouseup or @oncommand or @role='link']") .map(function (node) "//" + node).join(" | "); |