| Index: chrome/common/extensions/api/bookmarks.json
|
| diff --git a/chrome/common/extensions/api/bookmarks.json b/chrome/common/extensions/api/bookmarks.json
|
| index c9fc5cf6f26e7cecea13fa2f6a5032e780a169cc..fdb9b690ed1f5b52bd2285689b7db63afeb8bcdd 100644
|
| --- a/chrome/common/extensions/api/bookmarks.json
|
| +++ b/chrome/common/extensions/api/bookmarks.json
|
| @@ -6,6 +6,7 @@
|
| {
|
| "namespace": "bookmarks",
|
| "description": "Use the <code>chrome.bookmarks</code> API to create, organize, and otherwise manipulate bookmarks. Also see <a href='override'>Override Pages</a>, which you can use to create a custom Bookmark Manager page.",
|
| + "compiler_options": { "use_movable_types": true },
|
| "properties": {
|
| "MAX_WRITE_OPERATIONS_PER_HOUR": {
|
| "value": 1000000,
|
|
|