| Index: chrome/common/extensions/api/history.json
|
| diff --git a/chrome/common/extensions/api/history.json b/chrome/common/extensions/api/history.json
|
| index 210cce8974b7e0ea50082719bb8a6ac4c28da1a6..2eb7044ad3b7f0968565f05dc439bb2ddad4e025 100644
|
| --- a/chrome/common/extensions/api/history.json
|
| +++ b/chrome/common/extensions/api/history.json
|
| @@ -6,7 +6,6 @@
|
| {
|
| "namespace": "history",
|
| "description": "Use the <code>chrome.history</code> API to interact with the browser's record of visited pages. You can add, remove, and query for URLs in the browser's history. To override the history page with your own version, see <a href='override'>Override Pages</a>.",
|
| - "compler_options": {"use_movable_types": true},
|
| "types": [
|
| {
|
| "id": "TransitionType",
|
|
|