| Index: client/dom/generated/monkey_dom.js
|
| diff --git a/client/dom/generated/monkey_dom.js b/client/dom/generated/monkey_dom.js
|
| index e9dc645f13ff3cf7a3812f16452d32fc5b5b3f1b..3423f7ede07e9e7ae515e05edd22cec4169ebc77 100644
|
| --- a/client/dom/generated/monkey_dom.js
|
| +++ b/client/dom/generated/monkey_dom.js
|
| @@ -7563,7 +7563,6 @@ function DOM$fixClass$WebGLRenderingContext(c) {
|
| 'getShaderInfoLog',
|
| 'getShaderParameter',
|
| 'getShaderSource',
|
| - 'getSupportedExtensions',
|
| 'getTexParameter',
|
| 'getUniform',
|
| 'getUniformLocation',
|
|
|