| 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..bb5a74e419ad7fb03a06b7eb58af73adef68d74c 100644
|
| --- a/chrome/browser/resources/instant/instant.js
|
| +++ b/chrome/browser/resources/instant/instant.js
|
| @@ -5,7 +5,9 @@
|
| // 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 no-restricted-properties */
|
| var $ = function(id) { return document.getElementById(id); };
|
| +/* eslint-enable no-restricted-properties */
|
|
|
| /**
|
| * WebUI for configuring instant.* preference values used by
|
|
|