| Index: third_party/mojo/src/mojo/public/js/core.js
|
| diff --git a/third_party/mojo/src/mojo/public/js/core.js b/third_party/mojo/src/mojo/public/js/core.js
|
| index 6eb6ae6a74b2f242b4f4e22892a35c0c1b277d3c..b89a9560ea349a1aeb860eb7ac12960791b269c8 100644
|
| --- a/third_party/mojo/src/mojo/public/js/core.js
|
| +++ b/third_party/mojo/src/mojo/public/js/core.js
|
| @@ -95,7 +95,6 @@ dictionary MojoCreateDataPipeOptions {
|
|
|
| // MojoCreateDataPipeOptionsFlags
|
| var CREATE_DATA_PIPE_OPTIONS_FLAG_NONE;
|
| -var CREATE_DATA_PIPE_OPTIONS_FLAG_MAY_DISCARD;
|
|
|
| /*
|
| * MojoWriteDataFlags: Used to specify different modes to |writeData()|.
|
|
|