diff options
| author | rafaelw@chromium.org <rafaelw@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-08-24 20:47:06 +0000 |
|---|---|---|
| committer | rafaelw@chromium.org <rafaelw@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-08-24 20:47:06 +0000 |
| commit | 95230d03834f7a4d74ace1eee17bd78829b576f7 (patch) | |
| tree | 31c19e05c3cf3f02426e40533dcca0655657387b /chrome/common | |
| parent | 99aeaf4dee63c9feeab93d0ee3d2c51f1cc9b2ad (diff) | |
| download | chromium_src-95230d03834f7a4d74ace1eee17bd78829b576f7.zip chromium_src-95230d03834f7a4d74ace1eee17bd78829b576f7.tar.gz chromium_src-95230d03834f7a4d74ace1eee17bd78829b576f7.tar.bz2 | |
(Extension API) Make BookmarkTreeNode.index "type":"integer"
Review URL: http://codereview.chromium.org/173275
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@24140 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'chrome/common')
| -rw-r--r-- | chrome/common/common_resources.grd | 2 | ||||
| -rwxr-xr-x | chrome/common/extensions/api/extension_api.json | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/chrome/common/common_resources.grd b/chrome/common/common_resources.grd index ed07464..06a9e35 100644 --- a/chrome/common/common_resources.grd +++ b/chrome/common/common_resources.grd @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <!-- This comment is only here because changes to resources are not picked up -without changes to the corresponding grd file. rw2 --> +without changes to the corresponding grd file. rw3 --> <grit latest_public_release="0" current_release="1"> <outputs> <output filename="grit/common_resources.h" type="rc_header"> diff --git a/chrome/common/extensions/api/extension_api.json b/chrome/common/extensions/api/extension_api.json index 3ad0037..8cbeb2c 100755 --- a/chrome/common/extensions/api/extension_api.json +++ b/chrome/common/extensions/api/extension_api.json @@ -601,7 +601,7 @@ "properties": { "id": {"type": "string", "minimum": 0}, "parentId": {"type": "string", "minimum": 0, "optional": true}, - "index": {"type": "string", "optional": true}, + "index": {"type": "integer", "optional": true}, "url": {"type": "string", "optional": true}, "title": {"type": "string"}, "dateAdded": {"type": "number", "optional": true}, |