WebSocket Pepper API: make the API out of dev

ppapi/native_client/src/shared/ppapi_proxy/plugin_globals.cc

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "native_client/src/shared/platform/nacl_check.h"
 #include "native_client/src/shared/ppapi_proxy/plugin_globals.h"
 #include "native_client/src/shared/ppapi_proxy/plugin_ppb_core.h"
 #include "native_client/src/shared/ppapi_proxy/plugin_ppb_var.h"
 #include "native_client/src/shared/ppapi_proxy/ppruntime.h"
 #include "native_client/src/shared/ppapi_proxy/untrusted/srpcgen/ppp_rpc.h"
@@ skipping 72 matching lines @@
 const PPB_Var* PPBVarInterface() {
   return static_cast<const PPB_Var*>(
       GetBrowserInterfaceSafe(PPB_VAR_INTERFACE));
 }
 
 const PPB_VarArrayBuffer* PPBVarArrayBufferInterface() {
   return static_cast<const PPB_VarArrayBuffer*>(
       GetBrowserInterfaceSafe(PPB_VAR_ARRAY_BUFFER_INTERFACE));
 }
 
-const PPB_WebSocket_Dev* PPBWebSocketInterface() {
-  return static_cast<const PPB_WebSocket_Dev*>(
-      GetBrowserInterfaceSafe(PPB_WEBSOCKET_DEV_INTERFACE));
+const PPB_WebSocket* PPBWebSocketInterface() {
+  return static_cast<const PPB_WebSocket*>(
+      GetBrowserInterfaceSafe(PPB_WEBSOCKET_INTERFACE));
 }
 
 // Plugin interface helpers
 
 const void* GetPluginInterface(const char* interface_name) {
   return ::PPP_GetInterface(interface_name);
 }
 
 const void* GetPluginInterfaceSafe(const char* interface_name) {
   const void* ppp_interface = GetPluginInterface(interface_name);
@@ skipping 93 matching lines @@
   PpapiPluginRegisterDefaultThreadCreator();
   // Designate this as the main thread for PPB_Core::IsMainThread().
   ppapi_proxy::PluginCore::MarkMainThread();
   if (!NaClSrpcAcceptClientConnection(PppRpcs::srpc_methods)) {
     return 1;
   }
   NaClSrpcModuleFini();
 
   return 0;
 }