| Index: chrome/common/extensions/api/proxy.json
|
| diff --git a/chrome/common/extensions/api/proxy.json b/chrome/common/extensions/api/proxy.json
|
| index 4604dc2e5a4b45c689e2c2b1fefa4ae503d6a02d..6911594f6b94658d3777c0ba4925ab81db1c5a4d 100644
|
| --- a/chrome/common/extensions/api/proxy.json
|
| +++ b/chrome/common/extensions/api/proxy.json
|
| @@ -6,6 +6,7 @@
|
| {
|
| "namespace": "proxy",
|
| "description": "Use the <code>chrome.proxy</code> API to manage Chrome's proxy settings. This API relies on the <a href='types#ChromeSetting'>ChromeSetting prototype of the type API</a> for getting and setting the proxy configuration.",
|
| + "compiler_options": {"use_movable_types": true},
|
| "types": [
|
| {
|
| "id": "ProxyServer",
|
|
|