WebSocket Pepper API: make the API out of dev

ppapi/native_client/src/shared/ppapi_proxy/browser_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/ppapi_proxy/browser_globals.h"
 
 #include <stddef.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
@@ skipping 398 matching lines @@
   return ppb;
 }
 
 const PPB_View* PPBViewInterface() {
   static const PPB_View* ppb =
       static_cast<const PPB_View*>(
           GetBrowserInterfaceSafe(PPB_VIEW_INTERFACE));
   return ppb;
 }
 
-const PPB_WebSocket_Dev* PPBWebSocketInterface() {
-  static const PPB_WebSocket_Dev* ppb =
-      static_cast<const PPB_WebSocket_Dev*>(
-          GetBrowserInterfaceSafe(PPB_WEBSOCKET_DEV_INTERFACE));
+const PPB_WebSocket* PPBWebSocketInterface() {
+  static const PPB_WebSocket* ppb =
+      static_cast<const PPB_WebSocket*>(
+          GetBrowserInterfaceSafe(PPB_WEBSOCKET_INTERFACE));
   return ppb;
 }
 
 const PPB_Widget_Dev* PPBWidgetInterface() {
   static const PPB_Widget_Dev* ppb =
       static_cast<const PPB_Widget_Dev*>(
           GetBrowserInterfaceSafe(PPB_WIDGET_DEV_INTERFACE));
   return ppb;
 }
 
@@ skipping 20 matching lines @@
 }
 
 const PPB_UDPSocket_Private* PPBUDPSocketPrivateInterface() {
   static const PPB_UDPSocket_Private* ppb =
       static_cast<const PPB_UDPSocket_Private*>(
           GetBrowserInterfaceSafe(PPB_UDPSOCKET_PRIVATE_INTERFACE));
   return ppb;
 }
 
 }  // namespace ppapi_proxy