| Index: chrome/browser/resources/history/externs.js
|
| diff --git a/chrome/browser/resources/history/externs.js b/chrome/browser/resources/history/externs.js
|
| index fe44653904ef63a57263d486d5bd77f1f2b2a7ad..354d0ff7fb9b022f5be3e107263331f6928e2a9a 100644
|
| --- a/chrome/browser/resources/history/externs.js
|
| +++ b/chrome/browser/resources/history/externs.js
|
| @@ -19,6 +19,7 @@
|
| * deviceName: string,
|
| * deviceType: string,
|
| * domain: string,
|
| + * fallbackFaviconText: string,
|
| * hostFilteringBehavior: number,
|
| * snippet: string,
|
| * starred: boolean,
|
|
|