| Index: client/dom/generated/src/interface/WebGLDebugShaders.dart
|
| diff --git a/client/dom/generated/src/interface/MediaStreamList.dart b/client/dom/generated/src/interface/WebGLDebugShaders.dart
|
| similarity index 75%
|
| rename from client/dom/generated/src/interface/MediaStreamList.dart
|
| rename to client/dom/generated/src/interface/WebGLDebugShaders.dart
|
| index e13ffd22cdc1e90e78dd7a119da719a303bf47c2..cc7ec61a4a2fdf8cab2ffe6be3bc601b058b24b8 100644
|
| --- a/client/dom/generated/src/interface/MediaStreamList.dart
|
| +++ b/client/dom/generated/src/interface/WebGLDebugShaders.dart
|
| @@ -4,9 +4,7 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface MediaStreamList {
|
| +interface WebGLDebugShaders {
|
|
|
| - int get length();
|
| -
|
| - MediaStream item(int index);
|
| + String getTranslatedShaderSource(WebGLShader shader);
|
| }
|
|
|