| Index: Source/modules/serviceworkers/Headers.idl
|
| diff --git a/Source/modules/serviceworkers/Headers.idl b/Source/modules/serviceworkers/Headers.idl
|
| index 0db7152bd60f7ed0f2a3e861d2b6a4fdbee32ad0..20fcb67517df6a744a07b80f04a71423050a0788 100644
|
| --- a/Source/modules/serviceworkers/Headers.idl
|
| +++ b/Source/modules/serviceworkers/Headers.idl
|
| @@ -14,6 +14,7 @@ typedef Dictionary OpenEndedDictionary;
|
| Exposed=ServiceWorker,
|
| RaisesException=Constructor,
|
| GarbageCollected,
|
| + TypeChecking=Interface,
|
| ] interface Headers {
|
| [RaisesException] void append(ByteString name, ByteString value);
|
| [ImplementedAs=remove, RaisesException] void delete(ByteString key);
|
|
|