WebSocket Pepper API: SRPC proxy implementation

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

Index: ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc
diff --git a/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc b/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc
index b8548daba39796e0afa716ac2ef3e35524edb8b7..001158ecc751191067bc6492d642fb2f24a84fdf 100644
--- a/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc
+++ b/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc
@@ -416,6 +416,13 @@ const PPB_View* PPBViewInterface() {
   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*>(