| Index: chrome/browser/resources/instant/instant.js
|
| diff --git a/chrome/browser/resources/instant/instant.js b/chrome/browser/resources/instant/instant.js
|
| index e874fca872930bca9d6cb42b3d137646a918353c..67c9d0f1d06bc1a9a3e2af23165e0d68cf24b123 100644
|
| --- a/chrome/browser/resources/instant/instant.js
|
| +++ b/chrome/browser/resources/instant/instant.js
|
| @@ -5,6 +5,7 @@
|
| // Redefine '$' here rather than including 'cr.js', since this is
|
| // the only function needed. This allows this file to be loaded
|
| // in a browser directly for layout and some testing purposes.
|
| +// eslint-disable-next-line no-restricted-properties
|
| var $ = function(id) { return document.getElementById(id); };
|
|
|
| /**
|
|
|