WebSocket Pepper API: SRPC proxy implementation

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 391 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));
+  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;
 }
 
 const PPB_Zoom_Dev* PPBZoomInterface() {
   static const PPB_Zoom_Dev* ppb =
       static_cast<const PPB_Zoom_Dev*>(
@@ skipping 17 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