WebSocket Pepper API: make the API out of dev

ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc

Index: ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc
diff --git a/ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc b/ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc
index 9f6a8c03d9f7ea65055d834696e5a1e503db489d..9b9c665242c5d76891b1bbbf67f98fb349403512 100644
--- a/ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc
+++ b/ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc
@@ -2,8 +2,8 @@
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 #
-# RPC methods used to implement PPB_WebSocket_Dev calls from the plugin.
-# See ppapi/c/dev/ppb_websocket_dev.h for interface details.
+# RPC methods used to implement PPB_WebSocket calls from the plugin.
+# See ppapi/c/ppb_websocket.h for interface details.
 
 {
  'name': 'PpbWebSocketRpc',
@@ -100,19 +100,6 @@
                       ],
             'outputs': [['url', 'char[]'],             # PP_Var
                        ]
-          },
-          {'name': 'PPB_WebSocket_SetBinaryType',
-           'inputs': [['ws', 'PP_Resource'],           # PP_Resource
-                      ['binary_type', 'int32_t'],      # PP_WebSocketBinaryType
-                     ],
-           'outputs': [['success', 'int32_t'],         # PP_Bool
-                      ]
-          },
-          {'name': 'PPB_WebSocket_GetBinaryType',
-           'inputs': [['ws', 'PP_Resource'],           # PP_Resource
-                     ],
-           'outputs': [['binary_type', 'int32_t'],     # PP_WebSocketBinaryType
-                      ]
           }
          ]
 }