| Index: chrome/common/extensions/api/metrics_private.json
|
| diff --git a/chrome/common/extensions/api/metrics_private.json b/chrome/common/extensions/api/metrics_private.json
|
| index ba8cc901228c1951e37aa5755ac61b1293c9258a..8eaf9dbca5fe3e7e285fb58d6059d7618c42c17b 100644
|
| --- a/chrome/common/extensions/api/metrics_private.json
|
| +++ b/chrome/common/extensions/api/metrics_private.json
|
| @@ -6,6 +6,7 @@
|
| {
|
| "namespace": "metricsPrivate",
|
| "description": "none",
|
| + "compiler_options": {"use_movable_types": true},
|
| "types": [
|
| {
|
| "id": "MetricTypeType",
|
|
|